A relation algebraic approach to interaction categories

DOI10.1016/S0020-0255(99)00021-3zbMATH Open0938.18006OpenAlexW2040172312MaRDI QIDQ1961872FDOQ1961872

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

Recommendations

• scientific article; zbMATH DE number 860039
• scientific article; zbMATH DE number 1231451
• scientific article; zbMATH DE number 910713
• Publication:4728237
• scientific article; zbMATH DE number 860038

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

• Title not available (Why is that?)
• Relational Methods in Computer Science
• Title not available (Why is that?)
• Title not available (Why is that?)
• Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary
• Relation algebraic domain constructions

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)