|
2970
|
Communication and Concurrency
– R Milner
- 1989
|
|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
241
|
Event Structures
– G Winskel
- 1986
|
|
529
|
Petri nets: an introduction
– W Reisig
- 1985
|
|
3116
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
|
231
|
Modelling Concurrency with Partial Orders
– Vaughan Pratt
- 1986
|
|
115
|
A domain equation for bisimulation
– S Abramsky
- 1991
|
|
597
|
Concurrency and automata on infinite sequences
– D M R Park
- 1981
|
|
113
|
Bisimulation from Open Maps
– André Joyal, Mogens Nielsen, Mogens Nielsen, Glynn Winskel, Glynn Winskel
- 1994
|
|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
341
|
An Object Calculus for Asynchronous Communication
– Kohei Honda, Mario Tokoro
- 1991
|
|
156
|
N.: A Final Coalgebra Theorem
– P Aczel, Mendler
- 1989
|
|
725
|
Mobile ambients
– Luca Cardelli, Andrew D. Gordon
- 1998
|
|
1224
|
A calculus of communicating systems
– R Milner
- 1980
|
|
999
|
The temporal logic of programs
– A Pnueli
- 1977
|
|
19
|
Traces, histories, graphs: Instances of a process monoid
– A Mazurkiewicz
- 1984
|
|
59
|
Global/local subtyping and capability inference for a distributed π-calculus
– Peter Sewell
- 1998
|
|
250
|
A Calculus of Mobile Agents
– Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt
- 1996
|
|
212
|
On the temporal analysis of fairness
– D Gabbay, A Pnueli, S Shelah, J Stavi
- 1980
|
