|
135
|
Elements of Interaction
– Robin Milner
- 1993
|
|
341
|
An Object Calculus for Asynchronous Communication
– Kohei Honda, Mario Tokoro
- 1991
|
|
1
|
Twenty years on: Reflections on the CEDISYS project. Combining true concurrency with
– Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel
|
|
4
|
The Semantics of a Parallel Language based on a Shared Data space
– Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich
- 1992
|
|
19
|
Bisimilarity of Open Terms
– Arend Rensink
- 2000
|
|
1
|
Categorical and Graphical Models of Programming Languages
– Ralf Schweimeier, Ralf Schweimeier
- 2001
|
|
4
|
Tile Transition Systems as Structured Coalgebras
– Andrea Corradini, Reiko Heckel, Ugo Montanari
- 1999
|
|
3
|
An Action Structure for Synchronous pi-Calculus
– Robin Milner
- 1993
|
|
65
|
On Asynchronous Communication Semantics
– Kohei Honda, Mario Tokoro
- 1992
|
|
17
|
Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus
– Roberto Bruni, Ugo Montanari
- 1999
|
|
30
|
Gates accept concurrent behavior
– Vineet Gupta, Vaughan Pratt
- 1993
|
|
4
|
Zero-Safe Nets: Composing Nets via Transition Synchronization
– Roberto Bruni, Ugo Montanari
- 1999
|
|
14
|
Transactions and Zero-Safe Nets
– Roberto Bruni, Ugo Montanari
- 2001
|
|
18
|
An Event Structure Semantics for General Petri Nets
– P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
- 1993
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
12
|
Axiomatising ST-Bisimulation Equivalence
– Nadia Busi, Rob Glabbeek, Roberto Gorrieri
- 1994
|
|
30
|
Refinement of Actions and Equivalence Notions for Concurrent Systems
– Rob Van Glabbeek, Ursula Goltz
- 1998
|
|
78
|
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
– José Meseguer
- 1996
|
|
5
|
Categorical Models for Concurrency: Independence, Fairness and Dataflow
– Thomas Troels Hildebrandt
- 2000
|
