Developments in concurrent Kleene algebra
DOI10.1016/J.JLAMP.2015.09.012zbMATH Open1344.68149OpenAlexW2206274334WikidataQ114851593 ScholiaQ114851593MaRDI QIDQ299202FDOQ299202
Bernhard Möller, Tony Hoare, Georg Struth, Stephan van Staden, Huibiao Zhu
Publication date: 22 June 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.09.012
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Isabelle/HOL. A proof assistant for higher-order logic
- Process algebra for synchronous communication
- Laws of programming
- The Logic of Bunched Implications
- Refinement Calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Relation algebras
- On powerdomains and modality
- A calculus of communicating systems
- Varieties of complex algebras
- Two Complete Axiom Systems for the Algebra of Regular Events
- Systolic algorithms as programs
- The equational theory of pomsets
- On the completeness of the inductive assertion method
- A completeness theorem for Kleene algebras and the algebra of regular events
- Power structures
- A language of specified programs
- Modal algebra and Petri nets
- Relational knowledge discovery.
- Transitive Separation Logic
- Automated Reasoning in Higher-Order Regular Algebra
- Exploring an Interface Model for CKA
- A Program Construction and Verification Tool for Separation Logic
- The validity of equations of complex algebras
- Infinitary varieties of structures closed under the formation of complex structures
- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude
- Formal Derivation of Concurrent Garbage Collectors
- Quantales and Temporal Logics
- Modalities, relations, and learning. A relational interpretation of learning approaches
- Title not available (Why is that?)
- A Theory of Communicating Sequential Processes
- Title not available (Why is that?)
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- Guarded commands, nondeterminacy and formal derivation of programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The specification statement
- Title not available (Why is that?)
- Proving that non-blocking algorithms don't block
- Kleene algebra with domain
- Concurrent Kleene Algebra with Tests
- Algebras for Program Correctness in Isabelle/HOL
- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages
- A Structural Proof of the Soundness of Rely/guarantee Rules
- Algebraic separation logic
- Concurrent Kleene algebra and its foundations
- Internal axioms for domain semirings
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Free shuffle algebras in language varieties
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- Graphical models of separation logic
Cited In (11)
- A Discrete Geometric Model of Concurrent Program Execution
- Title not available (Why is that?)
- A UTP approach for rTiMo
- Concurrent Kleene algebra: free model and completeness
- Title not available (Why is that?)
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Foundations of concurrent Kleene algebra
- Contextuality in distributed systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concurrent Kleene Algebra
Uses Software
This page was built for publication: Developments in concurrent Kleene algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q299202)
