Abstract:
Abstract. We describe a model of concurrent objects based on the blue calculus (), a typed variant of the asynchronous-calculus in which the notion of function is directly embedded. We propose a definition for a simple concurrent object-based calculus and show how objects can be translated in. We also present the type system for objects derived from our definition and we verify the expressiveness of the object calculus by giving a direct and adequate interpretation of Abadi and Cardelli object calculus: Ob1!: , that preserves subtyping. 1
Citations
|
894
|
The lambda calculus, its syntax and semantics
– Barendregt
- 1984
|
|
795
|
A Theory of Objects
– Abadi, Cardelli
- 1996
|
|
410
|
A language with distributed scope
– Cardelli
- 1995
|
|
181
|
Barbed bisimulation
– Milner, Sangiorgi
- 1992
|
|
154
|
Operations on records
– Cardelli, Mitchell
- 1989
|
|
113
|
On reduction-based process semantics
– Honda, Yoshida
- 1995
|
|
76
|
A theory of primitive objects: Untyped and first–order systems
– Abadi, Cardelli
- 1994
|
|
69
|
A delegation-based object calculus with subtyping
– Fisher, Mitchell
- 1995
|
|
62
|
The pi-calculus in direct style
– Boudol
- 1997
|
|
54
|
An Interpretation of Objects and Object Types
– Abadi, Cardelli, et al.
- 1996
|
|
50
|
Imperative objects and mobile processes
– Kleist, Sangiorgi
- 1998
|
|
49
|
A π-calculus semantics for an object-based design notation
– Jones
- 1993
|
|
46
|
Asynchrony and the � -calculus
– Boudol
- 1992
|
|
45
|
Theoretical Aspects of Object-Oriented Programming
– Gunter, Mitchell, et al.
- 1994
|
|
42
|
A calculus for concurrent objects
– Blasio, Fisher
- 1996
|
|
35
|
Compilation and equivalence of imperative objects
– Gordon, Hankin, et al.
- 1999
|
|
31
|
Typing the use of resources in a Concurrent Calculus
– Boudol
- 1997
|
|
10
|
and bouncing objects: Two migration abstractions in a simple distributed blue calculus
– Quiet
- 1998
|
|
4
|
Implicit polymorphic type system for the blue calculus
– Dal-Zilio
- 1997
|
|
4
|
A concurrent object calculus
– Gordon, Hankin
- 1998
|
|
