Imperative objects as mobile processes
- 1 September 2002
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 44 (3) , 293-342
- https://doi.org/10.1016/s0167-6423(02)00034-5
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Partial confluence of processes and systems of objectsTheoretical Computer Science, 1998
- Relating Semantic Models for the Object CalculusElectronic Notes in Theoretical Computer Science, 1997
- Compilation and equivalence of imperative objectsPublished by Springer Nature ,1997
- Objects in the π-CalculusInformation and Computation, 1995
- Bisimulation can't be tracedJournal of the ACM, 1995
- Functions as processesMathematical Structures in Computer Science, 1992
- Bisimulation through probabilistic testingInformation and Computation, 1991
- Equivalence in functional languages with effectsJournal of Functional Programming, 1991
- Issues in the design of a parallel object-oriented languageFormal Aspects of Computing, 1989