Action Structures (1992)

by Robin Milner
Citations:34 - 1 self

Active Bibliography

150 Elements of Interaction – Robin Milner - 1993
363 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
20 Bisimilarity of Open Terms – Arend Rensink - 2000
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
4 Tile Transition Systems as Structured Coalgebras – Andrea Corradini, Reiko Heckel, Ugo Montanari - 1999
4 An Action Structure for Synchronous pi-Calculus – Robin Milner - 1993
67 On Asynchronous Communication Semantics – Kohei Honda, Mario Tokoro - 1992
20 Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus – Roberto Bruni, Ugo Montanari - 1999
4 Zero-Safe Nets: Composing Nets via Transition Synchronization – Roberto Bruni, Ugo Montanari - 1999
15 Transactions and Zero-Safe Nets – Roberto Bruni, Ugo Montanari - 2001
21 An Event Structure Semantics for General Petri Nets – P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan - 1993
32 Gates accept concurrent behavior – Vineet Gupta, Vaughan Pratt - 1993
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
36 Refinement of Actions and Equivalence Notions for Concurrent Systems – Rob Van Glabbeek, Ursula Goltz - 1998
12 Axiomatising ST-Bisimulation Equivalence – Nadia Busi, Rob Glabbeek, Roberto Gorrieri - 1994
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
13 Characterizing behavioural congruences for Petri nets – Mogens Nielsen, Lutz Priese, Vladimiro Sassone - 1995