论文信息 - Objects in the pi-Calculus

Objects in the pi-Calculus

Two semantics for a parallel object-oriented programming language are presented. One is a two-level transitional semantics in which the global behaviour of a system is derived directly from the possible actions of its constituent objects. The other is by translation into the pi-calculus. A close correspondence between the semantics is established.

David Walker | D. Walker | D. Walker

[1] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[2] Pierre America,et al. Operational semantics of a parallel object-oriented language , 1986, POPL '86.

[3] Pierre America,et al. Inheritance and Subtyping in a Parallel Object-Oriented Language , 1987, ECOOP.

[4] Pierre America,et al. Denotational Semantics of a Parallel Object-Oriented Language , 1989, Inf. Comput..

[5] Pierre America,et al. A Layered Semantics for a Parallel Object-Oriented Language , 1990, REX Workshop.

[6] J. J. M. M. Rutten. Semantic Correctness for a Parallel Object-Oriented Language , 1990, SIAM J. Comput..

[7] Bent Thomsen,et al. Calculi for higher order communicating systems , 1990 .

[8] R. Milner,et al. Modal Logics for Mobile Processes , 1991, Theor. Comput. Sci..

[9] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[10] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[11] Robin Milner,et al. Functions as processes , 1990, Mathematical Structures in Computer Science.