An Ordered Category of Processes

DOI10.1007/978-3-540-78913-0_27MaRDI QIDQ3498427zbMATH OpenOpenAlexFDO

Authors Michael Winter

Publication date 15 May 2008

Published in Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78913-0_27

Mathematics Subject Classification ID

Categories of spans/cospans, relations, or partial maps (18B10) Preorders, orders, domains and lattices (viewed as categories) (18B35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Constructing process categories
• scientific article; zbMATH DE number 1735902
• Convenient category of processes and simulations I: Modulo strong bisimilarity
• scientific article; zbMATH DE number 1701358
• scientific article; zbMATH DE number 2047496

Cites work

• A relation algebraic approach to interaction categories
• A relation-algebraic theory of bisimulations
• scientific article; zbMATH DE number 3683841 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 194258 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 910713 (Why is no real title available?)
• NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS
• Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary

Cited in

(5)

• Constructing process categories
• Using relation-algebraic means and tool support for investigating and computing bipartitions
• On classifying processes
• Relational properties of sequential composition of coalgebras
• Embedding mappings and splittings with applications

This page was built for publication: An Ordered Category of Processes

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