On Locality and the Exchange Law for Concurrent Processes

DOI10.1007/978-3-642-23217-6_17zbMath1343.68170MaRDI 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

03B70: Logic in computer science

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

Related Items

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

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