Categories for Synchrony and Asynchrony (1995)

Cached

Download Links

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

Active Bibliography

7 SProc Categorically – J.R.B. Cockett, D. A. Spooner - 1994
21 Specification Structures and Propositions-as-Types for Concurrency – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
3 A specification structure for deadlock-freedom of synchronous processes – S. Abramsky, S. J. Gay, R. Nagarajan - 1999
2 Representing Place/Transition Nets in Span(Graph) – Piergiulio Katis, N. Sabadini, R.F.C. Walters - 1997
263 Relations in Concurrency – Glynn Winskel
4 Categorical Logic Of Concurrency And Interaction. I: Synchronous Processes – Dusko Pavlovic, Du Sko Pavlovi C - 1995
123 Interaction Categories and the Foundations of Typed Concurrent Programming – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
29 Restriction categories I: Categories of partial maps – Stephen Lack - 2001
Design Rules and Abstractions (from branching and real time) – Peter Sewell - 1996
3 An internal language for interaction categories – Simon Gay, Rajagopal Nagarajan - 1995
56 A Typed Calculus of Synchronous Processes – Simon Gay, Rajagopal Nagarajan - 1995
67 Retracing some paths in Process Algebra – Samson Abramsky
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Gro├če-Rhode, U. Wolter - 1996
1 Formal Relationships Between Geometrical and Classical Models for Concurrency – Eric Goubault, Samuel Mimram
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
42 Bicategories of Processes – P. Katis, N. Sabadini, R. F. C. Walters - 1997
2 Matrices, Monads and the Fast Fourier Transform – C. Barry Jay - 1993
7 Polycategories via pseudo-distributive laws – Richard Garner
32 Operads In Higher-Dimensional Category Theory – Tom Leinster - 2004