Concurrent Dynamic Algebra

DOI10.1145/2785967zbMath1367.03054arXiv1407.5819OpenAlexW2064992609MaRDI QIDQ5277895

Georg Struth, Hitoshi Furusawa

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.5819

zbMATH Keywords

dynamic logicmultirelationsmodal algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other algebras related to logic (03G25)

Related Items (7)

Taming Multirelations ⋮ Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Generating Posets Beyond N ⋮ Hoare Semigroups ⋮ An algebraic approach to multirelations and their properties ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax}

Uses Software

• Isabelle/HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On equations for regular languages, finite automata, and sequential networks
• Internal axioms for domain semirings
• Relation algebras
• Modelling angelic and demonic nondeterminism with multirelations
• Modelling simultaneous games in dynamic logic
• Dynamic algebras with test
• Communication in concurrent dynamic logic
• Dynamic algebras: Examples, constructions, applications
• Parallel action: Concurrent dynamic logic with independent modalities
• A completeness theorem for Kleene algebras and the algebra of regular events
• Isabelle/HOL. A proof assistant for higher-order logic
• Tableaux for constructive concurrent dynamic logic
• The Cube of Kleene Algebras and the Triangular Prism of Multirelations
• Concurrent dynamic logic
• Alternation
• Refinement Calculus
• Kleene algebra with domain
• Monotone Predicate Transformers as Up-Closed Multirelations
• Domain Axioms for a Family of Near-Semirings
• Theory and Applications of Relational Structures as Knowledge Instruments

This page was built for publication: Concurrent Dynamic Algebra