Quantaloids for concurrency

DOI10.1023/A:1011252012003zbMath0991.18008OpenAlexW2252838967MaRDI QIDQ5947271

Jiří Rosický

Publication date: 24 August 2002

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011252012003

zbMATH Keywords

interaction categoriesquantaloidssynchronous processestyped concurrent programming

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (3)

Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions ⋮ Algebraic and Categorical Aspects of Quantales ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular

This page was built for publication: Quantaloids for concurrency