A Concurrent Object Calculus: Reduction and Typing
Open Access
- 31 December 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 16 (3) , 248-264
- https://doi.org/10.1016/s1571-0661(04)00145-8
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Nature ,2006
- The π-calculus in direct stylePublished by Association for Computing Machinery (ACM) ,1997
- A foundation for actor computationJournal of Functional Programming, 1997
- Compilation and equivalence of imperative objectsPublished by Springer Nature ,1997
- A theory of weak bisimulation for core CMLPublished by Association for Computing Machinery (ACM) ,1996
- The reflexive CHAM and the join-calculusPublished by Association for Computing Machinery (ACM) ,1996
- A calculus for concurrent objectsPublished by Springer Nature ,1996
- From a concurrent λ-calculus to the π-calculusPublished by Springer Nature ,1995
- The chemical abstract machineTheoretical Computer Science, 1992
- A semantics for ML concurrency primitivesPublished by Association for Computing Machinery (ACM) ,1992