|
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
|
|
402
|
Domain Theory
– Samson Abramsky, Achim Jung
- 1994
|
|
2
|
Incidence and Lattice Calculus with Applications to Stochastic Geometry and Image Analysis
– Baddeley Heijmans, A. J. Baddeley, H. J. A. M. Heijmans
- 1995
|
|
|
Musings Around the Geometry of Interaction, and Coherence 1
– Jean Goubault-larrecq
- 2007
|
|
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
|
|
24
|
Relationships between Models of Concurrency
– Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
- 1994
|
|
|
Symmetry in Petri nets
– Jonathan Hayman, Glynn Winskel
- 2008
|
|
19
|
On the Semantics of Place/Transition Petri Nets
– José Meseguer, Ugo Montanari, Vladimiro Sassone
- 1992
|
|
13
|
Models for Concurrency: Towards a Classification
– Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
- 1996
|
|
1
|
Theoretical
– Place/transition Petri Nets, Meseguer A, Ugo Montanari B, Vladimir Sassone B~c
|
|
|
Prime Algebraicity
– Glynn Winskel
- 2009
|
|
14
|
Transactions and Zero-Safe Nets
– Roberto Bruni, Ugo Montanari
- 2001
|
|
18
|
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
|
|
|
Stability and Sequentiality in Dataflow Networks
– Prakash Panangaden Vasant, Vasant Shanbhogue, Eugene W. Stark
- 1990
|