Formalizing CORRELATE: from practice to pi
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |
Techniques for giving simple accounts of the semantics of parallel object-oriented programming languages are illustrated through a study of the language pobl. A two-level operational semantics is given in which the global transitions of a configuration are derived in a simple way from labelled transitions describing the possible actions of its constituent objects. A second semantics by translation to a fragment of the Higher-Order pi-calculus is presented. A close correspondence between the semantics is described.