Constructing process categories
From MaRDI portal
Publication:1391863
DOI10.1016/S0304-3975(97)87171-XzbMath0901.68108MaRDI QIDQ1391863
J. Robin B. Cockett, David A. Spooner
Publication date: 23 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Cites Work
- List-arithmetic distributive categories: Locoi
- A remark on Mackey-functors
- Bisimulation from open maps
- A specification structure for deadlock-freedom of synchronous processes
- Simply Connected Limits
- Elementary observations on 2-categorical limits
- *-Autonomous categories and linear logic
- Introduction to distributive categories
- Introduction to bicategories
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item