Process Calculus and Parallel Object-oriented Programming Languages
D. J. Walker · 1993
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.