Rendezvous with Metric Semantics

A comparative semantic study is made of an element of the family of concurrent object-oriented programming languages. Particular attention is paid to two notions: (i) dynamically evolving process structures, including a mechanism to name and refer to processes and a means to create new processes, and (ii) rendez-vous between processes involving the sending and answering of messages and the induced execution of method calls. The methodology of metric semantics is applied in the design of operational and denotational semantics, as well as in the proof of their equivalence. Both semantics employ domains which are determined as fixed points of a contracting functor in the category of complete metric spaces. Moreover, fruitful use is made of the technique of defining semantic meaning functions as fixed points of contracting higher-order mappings. Finally, syntactic and semantics continuations play a pervasive role.

[1]  John-Jules Ch. Meyer,et al.  Metric semantics for concurrency , 1988, BIT.

[2]  Jan J. M. M. Rutten,et al.  Contractions in Comparing Concurrent Semantics , 1988, ICALP.

[3]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

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

[5]  Jan J. M. M. Rutten,et al.  Correctness and full abstraction of metric semantics for concurrency , 1988, REX Workshop.

[6]  Carl A. Gunter,et al.  Semantic Domains , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[7]  Jan A. Bergstra,et al.  Linear Time and Branching Time Semantics for Recursion with Merge , 1983, Theor. Comput. Sci..

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

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

[10]  C. Kuratowski,et al.  Sur une méthode de métrisation complète de certains espaces d'ensembles compacts , 1956 .

[11]  Erik P. de Vink,et al.  Applications of Compactness in the Smyth Powerdomain of Streams , 1988, Theor. Comput. Sci..

[12]  J. W. de Bakker,et al.  Mathematical theory of program correctness , 1980, Prentice-Hall international series in computer science.

[13]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[14]  J. W. de Bakker,et al.  Processes and the Denotational Semantics of Concurrency , 1982, Inf. Control..

[15]  J. W. de Bakker,et al.  Metric Pomset Semantics for a Concurrnt Language with Recursion , 1990, Semantics of Systems of Concurrent Processes.

[16]  P.H.M. America,et al.  A parallel object-oriented language: design and semantic foundations , 1989 .

[17]  Ernst-Rüdiger Olderog,et al.  Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency , 1988, J. Comput. Syst. Sci..

[18]  Erik P. de Vink,et al.  CCS for OO and LP , 1991, TAPSOFT, Vol.2.

[19]  Pierre America,et al.  Designing Equivalent Semantic Models for Process Creation , 1988, Theor. Comput. Sci..

[20]  Pierre America,et al.  Solving Reflexive Domain Equations in a Category of Complete Metric Spaces , 1989, J. Comput. Syst. Sci..

[21]  Frank S. de Boer,et al.  On Blocks: Locality and Asynchronous Communication (Extended Abstract) , 1992, REX Workshop.