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
41 A completeness theorem for open maps – A Joyal, I Moerdijk - 1997
262 Relations in Concurrency – Glynn Winskel
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
3218 Communication and Concurrency – R Milner - 1989
13 Presheaf models for the #-calculus – G L Cattani, I Stark, G Winskel - 1997
236 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986
16 Presheaf models for the πcalculus – G L Cattani, I Stark, G Winskel
379 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
924 Categories for the Working Mathematician – Saunders Mac Lane - 1971
25 Fibrations in bicategories, Cahiers de topologie et géométrie différentielle 21 – Ross Street - 1980
27 A Relational Model of Non-Deterministic Dataflow – Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel - 1998
263 Event structures – Glynn Winskel - 1986
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
58 Bisimulation for higher-order process calculi – Davide Sangiorgi - 1996
169 The category-theoretic solution of recursive domain equations – M B Smyth, G D Plotkin - 1982
16 Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) – Marcelo Fiore, Gordon Plotkin, John Power - 1997
16 Axiomatic Domain Theory – Marcelo P. Fiore - 1995