Event structure semantics for CCS and related languages (1982)

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

Documents Related by Co-Citation

477 Categories for the Working Mathematician – S MacLane - 1971
263 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
347 Kommunikation mit Automaten – C A Petri - 1962
131 Petri nets – W Reisig - 1985
48 A categorical linear framework for Petri nets, in – C Brown, D Gum - 1990
78 Petri net models for algebraic theories of concurrency – R J van Glabbeek, F W Vaandrager - 1987
21 Operational Petri net semantics for CCSP – Ernst-Rudiger Olderog - 1987
99 The non-sequential behaviour of Petri nets – U Goltz, W Reisig - 1983
73 nets, algebras, morphisms, and compositionality – Petri
170 G.: Petri nets, event structures and domains – M Nielsen, G Plotkin, Winskel - 1981
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
3219 Communication and Concurrency – R Milner - 1990
1330 A Calculus of Communicating Systems – R Milner - 1980
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