Developments in Concurrent Kleene Algebra

DOI10.1007/978-3-319-06251-8_1zbMath1344.68148OpenAlexW23255240MaRDI QIDQ5410474

Bernhard Möller, Georg Struth, Huibiao Zhu, Jules Villard, Stephan van Staden, C. A. R. Hoare, Peter W. O'Hearn

Publication date: 16 April 2014

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

``Keep definition, change category -- a practical approach to state-based system calculi ⋮ Towards patterns for heaps and imperative lambdas ⋮ Exploring an Interface Model for CKA ⋮ Generating Posets Beyond N ⋮ Denotational semantics and its algebraic derivation for an event-driven system-level language ⋮ Mitigating covert channels based on analysis of the potential for communication

This page was built for publication: Developments in Concurrent Kleene Algebra