Event structure semantics for CCS and related languages (1982)

by Glynn Winskel , Glynn Winskel
Venue:Computer Science Department, Aarhus University
Citations:76 - 16 self

Documents Related by Co-Citation

474 Categories for the working mathematician – S MacLane - 1998
262 An introduction to event structures – G Winskel - 1989
36 A distributed operational semantics for CCS based on condition/event systems – P Degano, R De Nicola, U Montanari - 1988
161 Petri nets are monoids – J Meseguer, U Montanari - 1990
345 Kommunikation mit Automaten – C A Petri - 1962
130 Petri nets – W Reisig - 1985
48 A categorical linear framework for Petri nets, in – C Brown, D Gum - 1990
21 Operational Petri net semantics for CCSP – Ernst-Rudiger Olderog - 1987
99 The non-sequential behaviour of Petri nets – U Goltz, W Reisig - 1983
77 Petri net models for algebraic theories of concurrency – R J van Glabbeek, F W Vaandrager - 1987
72 Petri nets, algebras, morphisms, and compositionality – G Winskel - 1987
170 Winskel G, Petri nets, event structures and domains – M Nielsen, G Plotkin - 1980
64 G.: Petri nets, event structures and domains, part 1. Theoretical Computer Science 13 – M Nielsen, G Plotkin, Winskel - 1981
143 Branching Processes of Petri Nets – J Engelfriet - 1991
3200 Communication and Concurrency – R Milner - 1989
1323 A Calculus of Communicating Systems – R Milner
40 Configuration Structures – R.J. van Glabbeek, G. D. Plotkin - 1995
26 Process versus Unfolding Semantics for Place/Transition Petri Nets – Jose Meseguer , Ugo Montanari , Vladimiro Sassone - 1996
39 Axiomatizing the algebra of net computations and processes – P Degano, J Meseguer, U Montanari - 1996