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

3219 Communication and Concurrency – R Milner - 1990
1330 A Calculus of Communicating Systems – R Milner - 1980
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
263 Relations in Concurrency – Glynn Winskel
42 A completeness theorem for open maps – A Joyal, I Moerdijk - 1994
930 Categories for the Working Mathematician – S Mac Lane - 1971
13 Presheaf models for the #-calculus – G L Cattani, I Stark, G Winskel - 1997
658 Concurrency and automata on infinite sequences – D Park - 1981
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
1000 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
26 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
190 Sheaves in Geometry and Logic. A First Introduction to Topos Theory. 2nd corrected printing – S Mac Lane, I Moerdijk - 1994
312 Calculi for synchrony and asynchrony – R Milner - 1983
24 Behavior structures and nets – A Rabinovich, B A Trakhtenbrot - 1988