Partial confluence of processes and systems of objects
- 6 October 1998
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 206 (1-2) , 127-162
- https://doi.org/10.1016/s0304-3975(97)00111-4
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Objects in the π-CalculusInformation and Computation, 1995
- Modal logics for mobile processesTheoretical Computer Science, 1993
- Denotational semantics of a parallel object-oriented languageInformation and Computation, 1989
- Issues in the design of a parallel object-oriented languageFormal Aspects of Computing, 1989