Denotational semantics of a parallel object-oriented language
Information and Computation
Issues in the design of a parallel object-oriented language
Formal Aspects of Computing
Communication and Concurrency
Affordable Overhead in CORRELATE: Comparing two MD Simulators
HPCN Europe 1996 Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking
Pi-Calculus Semantics of Object-Oriented Programming Languages
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Concurrent Objects in a Process Calculus
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
Language Constructs for Coordination in an Agent Space
MAAMAW '94 Proceedings of the 6th European Workshop on Modelling Autonomous Agents: Distributed Software Agents and Applications
Process Calculus and Parallel Object-oriented Programming Languages
Process Calculus and Parallel Object-oriented Programming Languages
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
| Hi-index | 0.00 |
Correlate is a concurrent object-oriented language that has been used in real-world applications in areas of High-Performance Computing, network applications and multi-agent systems. The practical goal of the language is to offer a powerful programming environment in which both application and system software can be described using the paradigm of concurrent objects. In this paper, the formal description of Correlate in the pi-calculus is discussed. In our experience, such a formalization process is a crucial step in the design process of a practical language, even though not every detail need to be modelled. Several examples illustrate the benefits of our specification especially from the viewpoint of the language designer. Finally it is shown that an operational prototype can be easily constructed by translation from the pi-calculus to Pict.