Bisimulation from Open Maps (1994)

Cached

Download Links

by André Joyal , Mogens Nielsen , Mogens Nielsen , Glynn Winskel , Glynn Winskel
Venue:Information and Computation
Citations:116 - 42 self

Active Bibliography

16 Petri Nets and Bisimulations – Mogens Nielsen, Glynn Winskel - 1995
Towards a Categorical Axiomatics of Bisimulation – Gian Luca Cattani, A. John Power, Glynn Winskel - 1999
3 Open Maps as a Bridge Between Algebraic Observational Equivalence and Bisimilarity – Slawomir Lasota - 1997
1 Twenty years on: Reflections on the CEDISYS project. Combining true concurrency with – Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
2 Coalgebra Morphisms Subsume Open Maps – Slawomir Lasota - 1999
Gunnar Schröter – Der Technischen Universität Berlin, Doktor Der Ingenieurwissenschaften, Berichter Prof, Dr. H. Ehrig - 2004
5 Categories in Concurrency – Glynn Winskel, Mogens Nielsen - 1997
36 Bisimulation and Open Maps – André Joyal, Mogens Nielsen, Glynn Winskel - 1993
1 History Preserving Bisimulation for Contextual Nets ⋆ – Paolo Baldan, Andrea Corradini, Ugo Montanari
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
8 Presheaf Models for CCS-like Languages – Glynn Winskel, Gian Luca Cattani - 1999
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
18 Presheaf models of constructive set theories – Nicola Gambino - 2004
1 Symmetry in Petri nets – Jonathan Hayman, Glynn Winskel - 2008
4 Weak Bisimulation and Open Maps (Extended Abstract) – Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel - 1999
29 History Dependent Automata – Ugo Montanari, Marco Pistore - 2001
14 History-Dependent Automata – Ugo Montanari, Marco Pistore - 1998
65 On the Expressive Completeness of the Propositional Mu-Calculus With Respect to Monadic Second Order Logic – David Janin, Igor Walukiewicz - 1996