Towards an Algebra of Dynamic Object Types Ant'onio Ravara
Download:
|
|
by Pedro Resende, Vasco T. Vasconcelos
http://www.cs.math.ist.utl.pt/ftp/pub/ResendeP/98-RRV-tota.ps
Add To MetaCart
Abstract:
We propose an algebra of object types that characterises the semantics of concurrent objects in a process calculus setting where the communication is asynchronous. The types are non-uniform, and provide an internal (and synchronous) view of the objects that inhabit them. These ideas, along with the algebraic laws, are based on a notion of bisimulation that is unlike other notions in the literature. 1
Citations
| 182 | Regular types for active objects – Nierstrasz - 1995 |
| 53 | A Typing System for a Calculus of Objects – Vasconcelos, Tokoro - 1993 |
| 38 | On the consistency of Koomen's fair abstraction rule – Baeten, Bergstra, et al. - 1987 |
| 31 | Typing the use of resources in a Concurrent Calculus – Boudol - 1997 |
| 23 | Behavioural types for a calculus of concurrent objects – Ravara, Vasconcelos - 1997 |
| 22 | Dynamic congruence vs. progressing bisimulation for CCS – Montanari, Sassone - 1992 |
| 17 | A process-calculus approach to typed concurrent objects – Vasconcelos - 1994 |
| 12 | A Calculus of Object Bindings – NAJM, NIMOUR - 1997 |
| 6 | A set constraint-based analyses of actors – Colaço, Pantel, et al. - 1997 |
| 2 | A type algebra for concurrent objects. Research report – Ravara, Vasconcelos - 1998 |
