Categories for Synchrony and Asynchrony (1995)

Cached

Download Links

by J.R.B. Cockett , D. A. Spooner
Citations:4 - 0 self

Documents Related by Co-Citation

36 Bisimulation and Open Maps – André Joyal, Mogens Nielsen, Glynn Winskel - 1993
1519 A Calculus of Communicating Systems – R Milner - 1982
3928 Communicating Sequential Processes – C. A. R. Hoare - 2004
813 Notions of Computation and Monads – Eugenio Moggi - 1991
1470 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
1127 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
290 Relations in Concurrency – Glynn Winskel
137 Finite Transition Systems – André Arnold - 1994
293 Event structures – G Winskel - 1987