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

Documents Related by Co-Citation

3200 Communication and Concurrency – R Milner - 1989
1323 A Calculus of Communicating Systems – R Milner
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
261 Relations in Concurrency – Glynn Winskel
41 A completeness theorem for open maps – A Joyal, I Moerdijk - 1994
919 Categories for the working mathematician – Mac Lane, S - 1971
13 Presheaf models for the #-calculus – G L Cattani, I Stark, G Winskel - 1997
654 Concurrency and automata on infinite sequences – D Park - 1981
1280 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
401 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
189 Structured operational semantics and bisimulation as a congruence – J F Groote, F W Vaandrager - 1992
995 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
26 Partial orderings descriptions and observations of nondeterministic concurrent processes – P Degano, R De Nicola, U Montanari - 1989
25 Fibrations in bicategories, Cahiers de topologie et géométrie différentielle 21 – Ross Street - 1980
169 The Category-Theoretic Solution of Recursive Domain Equations – M B Smyth, G D Plotkin - 1982
7 Generalized OM-bisimulation – W Vogler - 1995
188 Sheaves in Geometry and Logic: A First Introduction to Topos Theory – S Mac Lane, I Moerdijk - 1992
311 Calculi for Synchrony and Asynchrony – R Milner - 1983
24 Behavior structures and nets – A Rabinovich, B A Trakhtenbrot - 1988