An Object Calculus for Asynchronous Communication (1991)

Cached

Download Links

by Kohei Honda , Mario Tokoro
Venue:Proceedings of the European Conference on Object-Oriented Programming (ECOOP
Citations:361 - 29 self

Active Bibliography

67 On Asynchronous Communication Semantics – Kohei Honda, Mario Tokoro - 1992
47 Towards an Object Calculus – Oscar Nierstrasz - 1991
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
150 Elements of Interaction – Robin Milner - 1993
research. Object Models – Robert Henry Haring S 't, Robprt Henry Haring-smith
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
4 An Algebraic Theory of Actors and its Application to a Simple Object-Based Language – Gul Agha - 2004
A Causal Model and a Declarative Programming Language for Concurrent Systems – Karsten Bohlmann - 1996
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
6 From π-calculus to Higher-Order π-calculus -- and back – Davide Sangiorgi
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
Design and Implementation of a Programming Language for Concurrent Interactive Systems – Tiark Rompf - 2007
20 A Process Algebraic Specification of the New Asynchronous CORBA Messaging Service – Mauro Gaspari, Gianluigi Zavattaro - 1999
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
13 Language Features for Re-use and Extensibility in Concurrent Object-Oriented Programming Languages – Satoshi Matsuoka - 1993
12 Actor Languages: Their Syntax, Semantics, Translation, and Equivalence – Ian A. Mason, Carolyn L. Talcott - 1999
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro