Quantaloids for concurrency
From MaRDI portal
Publication:5947271
DOI10.1023/A:1011252012003zbMath0991.18008OpenAlexW2252838967MaRDI QIDQ5947271
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
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