Concurrent objects in a process calculus
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 187-215
- https://doi.org/10.1007/bfb0026570
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Typed concurrent objectsPublished by Springer Nature ,2006
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Simple type-theoretic foundations for object-oriented programmingJournal of Functional Programming, 1994
- Algebraic proofs of properties of objectsPublished by Springer Nature ,1994
- A pi-calculus semantics for an object-based design notationPublished by Springer Nature ,1993
- A typing system for a calculus of objectsPublished by Springer Nature ,1993
- Towards an object calculusPublished by Springer Nature ,1992
- A unifying framework for process calculus semantics of concurrent object-oriented languagesPublished by Springer Nature ,1992
- CMLACM SIGPLAN Notices, 1991
- Viewing control structures as patterns of passing messagesArtificial Intelligence, 1977