|
65
|
On Asynchronous Communication Semantics
– Kohei Honda, Mario Tokoro
- 1992
|
|
47
|
Towards an Object Calculus
– Oscar Nierstrasz
- 1991
|
|
1
|
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
– Xian Xu
|
|
135
|
Elements of Interaction
– Robin Milner
- 1993
|
|
5
|
Description and Verification of Mobile Processes with Graph Rewriting Techniques
– Barbara König
|
|
2
|
An Algebraic Theory of Actors and its Application to a Simple Object-Based Language
– Gul Agha
- 2004
|
|
198
|
A Foundation for Actor Computation
– Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- 1998
|
|
|
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
|
|
5
|
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
|
|
123
|
On reduction-based process semantics
– Kohei Honda, Nobuko Yoshida
- 1995
|
|
|
Design and Implementation of a Programming Language for Concurrent Interactive Systems
– Tiark Rompf
- 2007
|
|
19
|
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
|
|
58
|
A Foundation for Higher-order Concurrent Constraint Programming
– Gert Smolka
- 1994
|
|
|
Processes, Functions, and Datatypes
– Vasco T. Vasconcelos
- 1998
|
