An object calculus for asynchronous communication
Top Cited Papers
- 14 June 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- p. 133-147
- https://doi.org/10.1007/bfb0057019
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Functions as processesPublished by Springer Science and Business Media LLC ,2005
- Computational field model: toward a new computing model/methodology for open distributed environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Towards a type theory for active objectsPublished by Association for Computing Machinery (ACM) ,1991
- The computational field model for open distributed environments (extended abstract)Lecture Notes in Computer Science, 1991
- Conditional rewriting logic: Deduction, models and concurrencyLecture Notes in Computer Science, 1991
- A calculus of higher order communicating systemsPublished by Association for Computing Machinery (ACM) ,1989
- Towards a lambda-calculus for concurrent and communicating systemsLecture Notes in Computer Science, 1989
- A Calculus of Communicating Systems with Label PassingDAIMI Report Series, 1986
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Viewing control structures as patterns of passing messagesArtificial Intelligence, 1977