Constructing process categories

DOI10.1016/S0304-3975(97)87171-XMaRDI QIDQ1391863zbMATH OpenFDO

Authors David A. Spooner, J. R. B. Cockett

Publication date 23 July 1998

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

Full work available at URL https://doi.org/10.1016/S0304-3975(97)87171-X

zbMATH Keywords

category of process modelsprocess categories

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3905836
• An Ordered Category of Processes
• scientific article; zbMATH DE number 4028883
• Concrete process categories
• Convenient category of processes and simulations I: Modulo strong bisimilarity

Cites work

• *-Autonomous categories and linear logic
• A remark on Mackey-functors
• A specification structure for deadlock-freedom of synchronous processes
• Bisimulation from open maps
• Elementary observations on 2-categorical limits
• scientific article; zbMATH DE number 431760 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1231451 (Why is no real title available?)
• scientific article; zbMATH DE number 813127 (Why is no real title available?)
• scientific article; zbMATH DE number 3344729 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Introduction to bicategories
• Introduction to distributive categories
• List-arithmetic distributive categories: Locoi
• Simply Connected Limits

Cited in

(19)

• Towards a unified framework for decomposability of processes
• On classifying processes
• Concrete process categories
• Paths and simulations
• A universe of processes and some of its guises
• An Ordered Category of Processes
• scientific article; zbMATH DE number 5286962 (Why is no real title available?)
• scientific article; zbMATH DE number 3905836 (Why is no real title available?)
• scientific article; zbMATH DE number 4028883 (Why is no real title available?)
• scientific article; zbMATH DE number 1231451 (Why is no real title available?)
• scientific article; zbMATH DE number 1231519 (Why is no real title available?)
• scientific article; zbMATH DE number 1231601 (Why is no real title available?)
• scientific article; zbMATH DE number 1497813 (Why is no real title available?)
• Custom hypergraph categories via generalized relations
• scientific article; zbMATH DE number 860039 (Why is no real title available?)
• Temporal structures
• scientific article; zbMATH DE number 5200721 (Why is no real title available?)
• Concurrent Process Histories and Resource Transducers
• Bicategories of processes

This page was built for publication: Constructing process categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1391863)