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
120 Finite transition systems – A Arnold - 1994
88 Categorical Logic – Andrew M. Pitts - 1995
263 Relations in Concurrency – Glynn Winskel
2 Abramsky.Interaction categories – S - 1993
24 Induction in Compositional Model Checking – Kenneth L. Mcmillan, Shaz Qadeer, James B. Saxe - 2000
3 On extensive and distributive categories – R Gates - 1997
2 Designs and free traced symmetric monoidal categories – R Gates, P Katis - 1999
1 Categories of circuits. in preparation – P Katis, N Sabadini, R F C Walters, H Weld
1 Conceptual mathematics. A introduction to categories – F W Lawvere, S H Schanuel - 1997
2 Representing P/T nets in Span(Graph – P Katis, N Sabadini, R F C Walters - 1997
11 Specifying Interaction Categories – D. Pavlovic, S. Abramsky - 1997
28 Span(Graph): A categorical algebra of transition systems – P Katis, N Sabadini, R F C Walters - 1997
78 Cartesian bicategories I – A Carboni, R F C Walters - 1987
78 Conceptual Mathematics: A First Introduction to Categories – F W Lawvere, S Schanuel - 1997
42 Bicategories of Processes – P. Katis, N. Sabadini, R. F. C. Walters - 1997
3 On the Algebra of Feedback and Systems With Boundary – Piergiulio Katis, N. Sabadini, R.F.C. Walters - 1998
1330 A Calculus of Communicating Systems – R Milner - 1980
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004