Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes

onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 Christian-Albrechts-University Kiel, Germany 2 University Freiburg, Germany 3 University Leiden, The Netherlands 4 CWI Amsterdam, The Netherlands The concurrent object calculus has been investigated as a core calculus for imperative, object-oriented languages with multithreading and heap-allocated objects. The combination of this form of concurrency with objects corresponds to features known from the popular language Java. One distinctive feature, however, of the concurrent object calculus is that it is object-based, whereas the mainstream of objectoriented languages is class-based. This work explores the semantical consequences of introducing classes to the calculus. Considering classes as part of a component makes instantiation a possible interaction between component and environment. A striking consequence...

• Type: Conference
• Year: 2004
• Where: ICTAC
• Authors: Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
• Keywords: Component Makes Instantiation, Concurrent Calculus, Concurrent Object Calculus, ICTAC 2004