Documents Related by Co-Citation

116 Bisimulation from Open Maps – André Joyal, Mogens Nielsen, Mogens Nielsen, Glynn Winskel, Glynn Winskel - 1994
3200 Communication and Concurrency – R Milner - 1989
41 A completeness theorem for open maps – A Joyal, I Moerdijk - 1994
261 Relations in Concurrency – Glynn Winskel
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
33 A Presheaf Semantics of Value-Passing Processes – Glynn Winskel, Glynn Winskel - 1996
13 Presheaf models for the #-calculus – G L Cattani, I Stark, G Winskel - 1997
188 Sheaves in Geometry and Logic: A First Introduction to Topos Theory – S Mac Lane, I Moerdijk - 1992
919 Categories for the working mathematician – Mac Lane, S - 1971
236 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986
72 Elementary transition systems – M Nielsen, G Rozenberg, P S Thiagarajan - 1992
27 A Relational Model of Non-Deterministic Dataflow – Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel - 1998
378 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
18 A Categorical Axiomatics for Bisimulation – John Power, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani - 1998
106 Scenarios: A model of non-determinate computation,” in – J D Brock, W B Ackerman - 1981
11 A Linear Metalanguage for Concurrency – Glynn Winskel, Glynn Winskel - 1998
26 On Semantic Foundations for Applicative Multiprogramming – Samson Abramsky - 1983
90 Categories of Asynchronous Systems – M A Bednarczyk - 1988
1323 A Calculus of Communicating Systems – R Milner