|
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
|
|
2
|
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
|
|
242
|
Relations in Concurrency
– Glynn Winskel
|
|
3
|
Categorical Logic Of Concurrency And Interaction. I: Synchronous Processes
– Dusko Pavlovic, Du Sko Pavlovi C
- 1995
|
|
119
|
Interaction Categories and the Foundations of Typed Concurrent Programming
– Samson Abramsky, Simon Gay, Rajagopal Nagarajan
- 1995
|
|
17
|
Restriction categories I: Categories of partial maps
– Stephen Lack
- 2001
|
|
|
Design Rules and Abstractions (from branching and real time)
– Peter Sewell
- 1996
|
|
|
Formal Relationships Between Geometrical and Classical Models for Concurrency
– Eric Goubault, Samuel Mimram
|
|
10
|
A Coalgebraic Foundation for Linear Time Semantics
– John Power, Daniele Turi
- 1999
|
|
4
|
On the Role of Category Theory in the Area of Algebraic Specifications
– H. Ehrig, M. Große-Rhode, U. Wolter
- 1996
|
|
3
|
An internal language for interaction categories
– Simon Gay, Rajagopal Nagarajan
- 1995
|
|
55
|
A Typed Calculus of Synchronous Processes
– Simon Gay, Rajagopal Nagarajan
- 1995
|
|
61
|
Retracing some paths in Process Algebra
– Samson Abramsky
|
|
39
|
Bicategories of Processes
– P. Katis, N. Sabadini, R. F. C. Walters
- 1997
|
|
2
|
Matrices, Monads and the Fast Fourier Transform
– C. Barry Jay
- 1993
|
|
5
|
Polycategories via pseudo-distributive laws
– Richard Garner
|
|
|
Towards Merging Recursion and Comonads
– Alberto Pardo Instituto, Alberto Pardo
- 2000
|
