Constructing process categories

DOI10.1016/S0304-3975(97)87171-XzbMath0901.68108MaRDI QIDQ1391863

David A. Spooner, J. Robin B. Cockett

Publication date: 23 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

category of process modelsprocess categories

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categories of machines, automata (18B20)

Related Items (2)

Concrete Process Categories ⋮ Paths and Simulations

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

This page was built for publication: Constructing process categories