A relation algebraic approach to interaction categories

DOI10.1016/S0020-0255(99)00021-3MaRDI QIDQ1961872zbMATH OpenOpenAlexFDO

Authors Michael Winter

Publication date 21 June 2000

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0255(99)00021-3

zbMATH Keywords

synchronization treesconcurrent system specificationsinteraction categoriesstrongly guarded functorstime-extended allegoriesunitary division allegory

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cylindric and polyadic algebras; relation algebras (03G15)

Cites work

• 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 3070503 (Why is no real title available?)
• Relation algebraic domain constructions
• Relational Methods in Computer Science
• Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary

Cited in

(3)

• A new perspective on observables in the category of relations: a spectral presheaf for relations
• Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras
• An Ordered Category of Processes

This page was built for publication: A relation algebraic approach to interaction categories

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