Event structure semantics for CCS and related languages (1982)

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

Active Bibliography

1 Event structures with persistence – Lucy G. Brace-evans, Cambridge Cb Fd - 2008
A NEW DEFINITION OF MORPHISM ON PETRI NETS A Preliminary Version ~J\A\^ ^ S cf by – Glynn Winskel
Metric Process Models – Roger Frederick Crew - 1992
Decomposition of Domains – Achim Jung Leonid, Achim Jung, Leonid Libkin, Hermann Puhlmann - 1990
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
2 Incidence and Lattice Calculus with Applications to Stochastic Geometry and Image Analysis – A. J. Baddeley, H. J. A. M. Heijmans - 1995
36 Distributed monitoring of concurrent and asynchronous systems – Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard - 2005
1 Twenty years on: Reflections on the CEDISYS project. Combining true concurrency with – Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel
9 Deterministic Behavioural Models for Concurrency (Extended Abstract) – Vladimiro Sassone, Mogens Nielsen, Glynn Winskel - 1993
1 Theoretical – Place/transition Petri Nets, Meseguer A, Ugo Montanari B, Vladimir Sassone B~c
25 Relationships between Models of Concurrency – Mogens Nielsen, Vladimiro Sassone, Glynn Winskel - 1994
1 Symmetry in Petri nets – Jonathan Hayman, Glynn Winskel - 2008
15 Models for Concurrency: Towards a Classification – Vladimiro Sassone, Mogens Nielsen, Glynn Winskel - 1996
26 Process versus Unfolding Semantics for Place/Transition Petri Nets – Jose Meseguer , Ugo Montanari , Vladimiro Sassone - 1996
22 On the Semantics of Place/Transition Petri Nets – José Meseguer, Ugo Montanari, Vladimiro Sassone - 1992
1 Prime Algebraicity – Glynn Winskel - 2009
15 Transactions and Zero-Safe Nets – Roberto Bruni, Ugo Montanari - 2001
24 The Java memory model: Operationally, denotationally, axiomatically – Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio - 2007
Adjunctions Between Categories of Domains – Michael W. Mislove, Frank J. Oles