On Transformations of Concurrent-Object Programs

Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent object languages are given. The correctness of the rules is proved using a semantic definition by translation to a mobile-process calculus. The main theoretical development concerns the notions of confluence and partial confluence.

[1]  Benjamin C. Pierce,et al.  Linearity and the pi-calculus , 1996, POPL '96.

[2]  David Walker,et al.  Pi-Calculus Semantics of Object-Oriented Programming Languages , 1991, TACS.

[3]  D. J. Walker.  Process Calculus and Parallel Object-oriented Programming Languages , 1993 .

[4]  Chris M. N. Tofts,et al.  Proof methods and pragmatics for parallel programming , 1990 .

[5]  David Walker,et al.  Objects in the pi-Calculus , 1992, Inf. Comput..

[6]  David Walker,et al.  On Sharing and Determinacy in Concurrent Systems , 1995, CONCUR.

[7]  Takayasu Ito,et al.  Theory and Practice of Parallel Programming , 1995, Lecture Notes in Computer Science.

[8]  Anna Philippou.  Reasoning about systems with evolving structure , 1996 .

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

[10]  Pavel Tvrdík,et al.  Parallel Computers: Theory and Practice , 1997 .

[11]  Jean-Jacques Lévy,et al.  A Calculus of Mobile Agents , 1996, CONCUR.

[12]  P. H. Lindsay.  Human Information Processing , 1977 .

[13]  C. B. Jones,et al.  Constraining Inference in an Object-Based Design Model , 1993, TAPSOFT.

[14]  David Walker,et al.  A Rigorous Analysis of Concurrent Operations on B-Trees , 1997, CONCUR.

[15]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

[16]  Jan Friso Groote,et al.  Confluence for Process Verification , 1995, CONCUR.

[17]  Benjamin C. Pierce,et al.  Concurrent Objects in a Process Calculus , 1994, Theory and Practice of Parallel Programming.

[18]  John Hogg.  Islands: aliasing protection in object-oriented languages , 1991, OOPSLA 1991.

[19]  Rob J. van Glabbeek,et al.  Branching time and abstraction in bisimulation semantics , 1996, JACM.

[20]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[21]  Mario Tokoro,et al.  An Object Calculus for Asynchronous Communication , 1991, ECOOP.

[22]  Michele Boreale.  On the Expressiveness of Internal Mobility in Name-Passing Calculi , 1998, Theor. Comput. Sci..

[23]  Cliff B. Jones.  A pi-Calculus Semantics for an Object-Based Design Notation , 1993, CONCUR.

[24]  David Walker,et al.  Confluence of Processes and Systems of Objects , 1995, TAPSOFT.

[25]  Cliff B. Jones,et al.  Accommodating interference in the formal design of concurrent object-based programs , 1996, Formal Methods Syst. Des..

[26]  Davide Sangiorgi,et al.  Expressing mobility in process algebras : first-order and higher-order paradigms , 1993 .

[27]  David Walker.  Algebraic Proofs of Properties of Objects , 1994, ESOP.