A Concurrent Object Calculus: Reduction and Typing
Authors:
- Andrew D. GordonAGAndrew D. Gordon
- Paul D. HankinPHPaul D. Hankin
Open Access
- 31 December 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 16 (3) , 248-264
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- The π-calculus in direct style1997
- A foundation for actor computationJournal of Functional Programming, 1997
- Compilation and equivalence of imperative objects1997
- A theory of weak bisimulation for core CML1996
- The reflexive CHAM and the join-calculus1996
- A calculus for concurrent objectsLecture Notes in Computer Science, 1996
- From a concurrent λ-calculus to the π-calculus1995
- A pi-calculus semantics for an object-based design notation1993
- The chemical abstract machineTheoretical Computer Science, 1992
- A semantics for ML concurrency primitives1992