Concrete Process Categories

DOI10.1016/S1571-0661(04)80501-2zbMath1268.68132MaRDI QIDQ2841311

Krzysztof Worytkiewicz

Publication date: 24 July 2013

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Paths and Simulations

Cites Work

• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• A calculus of mobile processes. II
• Constructing process categories
• Bisimulation from open maps
• Simply Connected Limits
• Structured transition systems with parametric observations: observational congruences and minimal realizations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item