A Presheaf Semantics of Value-Passing Processes (1996)

Cached

Download Links

by Glynn Winskel , Glynn Winskel
Citations:33 - 18 self

Active Bibliography

45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
12 Profunctors, open maps and bisimulation – Gian Luca Cattani, Glynn Winskel - 2000
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
Towards a Categorical Axiomatics of Bisimulation – Gian Luca Cattani, A. John Power, Glynn Winskel - 1999
3 Linearity and nonlinearity in distributed computation – Glynn Winskel
13 Linearity in Process Languages – Mikkel Nygaard, et al.
7 General structural operational semantics through categorical logic (Extended Abstract) – Sam Staton - 2008
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
24 Models for Name-Passing Processes: Interleaving and Causal – Gian Luca Cattani, Peter Sewell - 2000
12 Relational Semantics of Non-Deterministic Dataflow – Thomas Troels Hildebrandt, Prakash Panangaden, Glynn Winskel - 1997
8 Presheaf Models for CCS-like Languages – Glynn Winskel, Gian Luca Cattani - 1999
18 A Categorical Axiomatics for Bisimulation – John Power, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani - 1998
11 A Linear Metalanguage for Concurrency – Glynn Winskel, Glynn Winskel - 1998
4 Weak Bisimulation and Open Maps (Extended Abstract) – Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel - 1999
7 Unique Factorisation Lifting Functors and Categories of Linearly-Controlled Processes – Marta Bunge, Marcelo P. Fiore - 1999
23 Domain theory for concurrency – Mikkel Nygaard - 2003
Presheaf semantics for HOPLA – Mikkel Nygaard - 2002
28 A Relational Model of Non-Deterministic Dataflow – Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel - 1998