|
32
|
Bisimulation and Open Maps
– André Joyal, Mogens Nielsen, Glynn Winskel
- 1993
|
|
105
|
Finite Transition Systems
– A Arnold
- 1994
|
|
83
|
Evaluation Logic
– Andrew Pitts
- 1990
|
|
242
|
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
|
|
3
|
On the Algebra of Feedback and Systems With Boundary
– Piergiulio Katis, N. Sabadini, R.F.C. Walters
- 1998
|
|
25
|
Span(Graph): A categorical algebra of transition systems
– P Katis, N Sabadini, R F C Walters
- 1997
|
|
39
|
Bicategories of Processes
– P. Katis, N. Sabadini, R. F. C. Walters
- 1997
|
|
64
|
Conceptual Mathematics: a first introduction to categories
– F W Lawvere, S H Schanuel
- 1997
|
|
11
|
Specifying Interaction Categories
– D. Pavlovic, S. Abramsky
- 1997
|
|
59
|
Cartesian bicategories
– A Carboni, R F C Walters
- 1987
|
|
1225
|
A Calculus of Communicating Systems
– R Milner
- 1980
|
|
3119
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
