Inheritance in the Join Calculus (Extended Abstract)

We propose an object-oriented calculus with internal con- currency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a uniform manner, us- ing labeled messages. Classes are partial message definitions that can be combined and transformed. We design operators for behavioral and synchronization inheritance. Our model is compatible with the JoCaml implementation of the join calculus.

[1]  Akinori Yonezawa,et al.  Object-oriented concurrent programming in ABCL/1 , 1986, OOPSLA 1986.

[2]  Oscar Nierstrasz,et al.  Towards and Object Calculus , 1991, Object-Based Concurrent Computing.

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

[4]  Satoshi Matsuoka,et al.  Analysis of inheritance anomaly in object-oriented concurrent programming languages , 1993 .

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

[6]  Luca Cardelli,et al.  Obliq, a language with distributed scope , 1996 .

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

[8]  Kathleen Fisher,et al.  A Calculus for Concurrent Objects , 1996, CONCUR.

[9]  Cédric Fournet,et al.  The reflexive CHAM and the join-calculus , 1996, POPL '96.

[10]  Cosimo Laneve,et al.  Implicit Typing à la ML for the Join-Calculus , 1997, CONCUR.

[11]  Luc Maranget,et al.  Compiling Join-Patterns , 1998, Electron. Notes Theor. Comput. Sci..

[12]  Davide Sangiorgi,et al.  Imperative objects and mobile processes , 1998, PROCOMET.

[13]  Davide Sangiorgi.  An Interpretation of Typed Objects into Typed pi-Calculus , 1998, Inf. Comput..

[14]  Andrew D. Gordon,et al.  A Concurrent Object Calculus: Reduction and Typing , 1998, HLCL.

[15]  Silvano Dal Zilio.  Quiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus , 1998 .

[16]  Martin Odersky,et al.  An Overview of Functional Nets , 2000 .

[17]  Martin Odersky,et al.  Functional Nets , 2000, ESOP.

[18]  Cédric Fournet,et al.  The Join Calculus: A Language for Distributed Mobile Programming , 2000, APPSEM.