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)

zbMATH Keywords

category of process modelsprocess categories

Mathematics Subject Classification ID

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

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

• 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?)
• *-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
• Introduction to bicategories
• Introduction to distributive categories
• List-arithmetic distributive categories: Locoi
• Simply Connected Limits

Cited in

(13)

• Concurrent Process Histories and Resource Transducers
• Custom hypergraph categories via generalized relations
• On classifying processes
• Temporal structures
• scientific article; zbMATH DE number 5286962 (Why is no real title available?)
• scientific article; zbMATH DE number 4028883 (Why is no real title available?)
• scientific article; zbMATH DE number 3905836 (Why is no real title available?)
• Towards a unified framework for decomposability of processes
• scientific article; zbMATH DE number 5200721 (Why is no real title available?)
• Concrete process categories
• Paths and simulations
• A universe of processes and some of its guises
• An Ordered Category 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)