Concrete process categories

DOI10.1016/S1571-0661(04)80501-2MaRDI QIDQ2841311zbMATH OpenFDO

Authors Krzysztof Worytkiewicz

Publication date 24 July 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80501-2

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)

Recommendations

• scientific article; zbMATH DE number 1497813
• Constructing process categories
• scientific article; zbMATH DE number 4028883
• scientific article; zbMATH DE number 3905836
• Convenient category of processes and simulations I: Modulo strong bisimilarity

Cites work

• A calculus of mobile processes. II
• Bisimulation from open maps
• Constructing process categories
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1107620 (Why is no real title available?)
• scientific article; zbMATH DE number 1479606 (Why is no real title available?)
• scientific article; zbMATH DE number 1759488 (Why is no real title available?)
• scientific article; zbMATH DE number 860037 (Why is no real title available?)
• scientific article; zbMATH DE number 910713 (Why is no real title available?)
• Simply Connected Limits
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Structured transition systems with parametric observations: observational congruences and minimal realizations

Cited in

(5)

• Constructing process categories
• Paths and simulations
• scientific article; zbMATH DE number 1231601 (Why is no real title available?)
• scientific article; zbMATH DE number 1497813 (Why is no real title available?)
• scientific article; zbMATH DE number 3995940 (Why is no real title available?)

This page was built for publication: Concrete process categories

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