A Presheaf Semantics of Value-Passing Processes (1996)

Cached

Download Links

by Glynn Winskel , Glynn Winskel
Citations:33 - 18 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
263 Relations in Concurrency – Glynn Winskel
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
42 A completeness theorem for open maps – A Joyal, I Moerdijk - 1994
3219 Communication and Concurrency – R Milner - 1990
13 Presheaf models for the #-calculus – G L Cattani, I Stark, G Winskel - 1997
239 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
930 Categories for the Working Mathematician – S Mac Lane - 1971
28 A Relational Model of Non-Deterministic Dataflow – Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel - 1998
263 An introduction to event structures – G Winskel - 1989
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
19 Synchronisation trees – Glynn Winskel - 1984
18 A Categorical Axiomatics for Bisimulation – John Power, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani - 1998
36 Hereditary History Preserving Bisimulations or What is the Power of the Future Perfect in Program Logics – Marek A. Bednarczyk - 1991
140 Handbook of Categorical Algebra – F Borceux - 1994
26 An Axiomatic Approach to Adequacy – Torben Braüner, Torben Brauner, To Anne - 1996
53 Using Information Systems to Solve Recursive Domain Equations – K G Larsen, G Winskel - 1991