Monotone Predicate Transformers as Up-Closed Multirelations
From MaRDI portal
Publication:5459190
DOI10.1007/11828563_21zbMath1134.68390OpenAlexW2128864428MaRDI QIDQ5459190
Publication date: 24 April 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/11828563_21
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (7)
Concurrent Dynamic Algebra ⋮ Taming Multirelations ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Multirelations with infinite computations ⋮ Modelling higher-order dual nondeterminacy ⋮ An algebraic approach to multirelations and their properties ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax}
This page was built for publication: Monotone Predicate Transformers as Up-Closed Multirelations
