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

117 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
3242 Communication and Concurrency – R Milner - 1989
41 A completeness theorem for open maps – A Joyal, I Moerdijk - 1997
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
236 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985