On Locality and the Exchange Law for Concurrent Processes

DOI10.1007/978-3-642-23217-6_17zbMath1343.68170OpenAlexW2155085039MaRDI QIDQ3090834

Akbar Hussain, Bernhard Möller, Rasmus L. Petersen, Georg Struth, Peter W. O'Hearn, C. A. R. Hoare

Publication date: 2 September 2011

Published in: CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/files/58779/58779.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (12)

Convolution as a Unifying Concept ⋮ Concurrent Kleene algebra with tests and branching automata ⋮ The Laws of Programming Unify Process Calculi ⋮ Transitive Separation Logic ⋮ A Program Construction and Verification Tool for Separation Logic ⋮ In praise of algebra ⋮ A Discrete Geometric Model of Concurrent Program Execution ⋮ Unifying Semantics for Concurrent Programming ⋮ Constructing the Views Framework ⋮ Generic Models of the Laws of Programming ⋮ Modal algebra and Petri nets ⋮ On the relation between concurrent separation logic and concurrent Kleene algebra

Cites Work

• Unnamed Item
• Free shuffle algebras in language varieties
• A semantics for concurrent separation logic
• The equational theory of pomsets
• A completeness theorem for Kleene algebras and the algebra of regular events
• Foundations of Concurrent Kleene Algebra

This page was built for publication: On Locality and the Exchange Law for Concurrent Processes