Taming Multirelations
From MaRDI portal
Publication:5278188
DOI10.1145/2964907zbMath1407.03080arXiv1501.05147OpenAlexW2566427880MaRDI QIDQ5278188
Georg Struth, Hitoshi Furusawa
Publication date: 13 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1501.05147
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other algebras related to logic (03G25) Quantales (06F07) Other classical set theory (including functions, relations, and set algebra) (03E20)
Related Items
Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL ⋮ An algebraic approach to multirelations and their properties
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Concurrent Kleene algebra and its foundations
- On equations for regular languages, finite automata, and sequential networks
- Free shuffle algebras in language varieties
- Angelic nondeterminism in the unifying theories of programming
- Relation algebras
- Modelling angelic and demonic nondeterminism with multirelations
- Modelling simultaneous games in dynamic logic
- Communication in concurrent dynamic logic
- The equational theory of pomsets
- Parallel action: Concurrent dynamic logic with independent modalities
- Game logic -- an overview
- Isabelle/HOL. A proof assistant for higher-order logic
- Left omega algebras and regular equations
- Tableaux for constructive concurrent dynamic logic
- On representable relation algebras
- Algebraic Notions of Termination
- Domain and Antidomain Semigroups
- The Cube of Kleene Algebras and the Triangular Prism of Multirelations
- Concurrent dynamic logic
- Alternation
- Refinement Calculus
- Concurrent Dynamic Algebra
- Monotone Predicate Transformers as Up-Closed Multirelations
- Domain Axioms for a Family of Near-Semirings
- Theory and Applications of Relational Structures as Knowledge Instruments
