Presheaf Models for the pi-Calculus (1997)

by Gian Luca Cattani , Gian Luca Cattani , Ian Stark , Ian Stark , Glynn Winskel , Glynn Winskel
Citations:12 - 4 self

Documents Related by Co-Citation

116 Bisimulation from Open Maps – André Joyal, Mogens Nielsen, Mogens Nielsen, Glynn Winskel, Glynn Winskel - 1994
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
28 A Relational Model of Non-Deterministic Dataflow – Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel - 1998
106 Scenarios: A model of non-determinate computation,” in – J D Brock, W B Ackerman - 1981
3219 Communication and Concurrency – R Milner - 1990
394 Category Theory for Computing Science – Michael Barr, Charles Wells - 1990
312 Calculi for synchrony and asynchrony – R Milner - 1983
1330 A Calculus of Communicating Systems – R Milner - 1980
930 Categories for the Working Mathematician – S Mac Lane - 1971
72 Elementary transition systems – M Nielsen, G Rozenberg, P S Thiagarajan - 1992
90 Categories of asynchronous systems – M A Bednarczyk - 1988
58 Events in Security Protocols – Federico Crazzolara , Glynn Winskel - 2001
18 A Categorical Axiomatics for Bisimulation – John Power, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani - 1998
4 A semantic universe for fairness – Peter Aczel - 1996
3 The semantics of fair recursion with divergence. Submitted – Michael Huth, Marta Kwiatkowska
7 Finite But Unbounded Delay In Synchronous CCS – M. Huth, M. Kwiatkowska - 1996
3 Introduction to Mathematical Logic. Undergraduate Texts in Mathematics – Jerome Malitz - 1979
6 The Expressive Power of Indeterminate Primitives in Asynchronous Computation – Prakash Panangaden - 1995
3 Generalised synchronisation trees. Handwritten notes – Glynn Winskel - 1983