Exploring an Interface Model for CKA

DOI10.1007/978-3-319-19797-5_1zbMath1432.68314OpenAlexW831110038MaRDI QIDQ2941164

Bernhard Möller, C. A. R. Hoare

Publication date: 27 August 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58741

zbMATH Keywords

formal methodstemporal logicconcurrencyconcurrent Kleene algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (3)

Non-associative Kleene Algebra and Temporal Logics ⋮ Developments in concurrent Kleene algebra ⋮ Generating Posets Beyond N

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Exploring modal worlds
• Concurrent Kleene algebra and its foundations
• Interpretability of first-order linear temporal logics in fork algebras
• Enabledness and termination in refinement algebra
• Graphical models of separation logic
• On powerdomains and modality
• The equational theory of pomsets
• A calculus of durations
• On the completeness of the inductive assertion method
• Computation calculus bridging a formalization gap
• Characterizing determinacy in Kleene algebras
• A language of specified programs
• The Laws of Programming Unify Process Calculi
• Separation and information hiding
• Quantales and Temporal Logics
• Temporal algebra
• A relational model for temporal logic
• Refinement Calculus
• Kleene algebra with domain
• Developments in Concurrent Kleene Algebra
• Concurrent Kleene Algebra with Tests

This page was built for publication: Exploring an Interface Model for CKA