Foundations of Concurrent Kleene Algebra

DOI10.1007/978-3-642-04639-1_12zbMath1267.68154OpenAlexW2142236430MaRDI QIDQ3651515

Bernhard Möller, Ian Wehrman, Georg Struth, C. A. R. Hoare

Publication date: 11 December 2009

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04639-1_12

Mathematics Subject Classification ID

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

Related Items

Concurrent Kleene algebra with tests and branching automata ⋮ Concurrent Kleene Algebra ⋮ Mitigating covert channels based on analysis of the potential for communication ⋮ Algebraic separation logic ⋮ Concurrent Kleene algebra and its foundations ⋮ On Locality and the Exchange Law for Concurrent Processes ⋮ Extended transitive separation logic

Uses Software

• Prover9