The Laws of Programming Unify Process Calculi

DOI10.1007/978-3-642-31113-0_2zbMath1358.68064MaRDI QIDQ2908555

Stephan van Staden, C. A. R. Hoare

Publication date: 5 September 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-31113-0_2

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

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

Related Items

Unifying Semantics for Concurrent Programming, On the relation between concurrent separation logic and concurrent Kleene algebra, Constructing the Views Framework, Generic Models of the Laws of Programming, Exploring an Interface Model for CKA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graphical models of separation logic
• The equational theory of pomsets
• A calculus of communicating systems
• A completeness theorem for Kleene algebras and the algebra of regular events
• On Locality and the Exchange Law for Concurrent Processes
• Concurrent Kleene Algebra
• Laws of programming
• Refinement Calculus
• CONCUR 2004 - Concurrency Theory
• An axiomatic basis for computer programming
• On Hoare logic and Kleene algebra with tests
• On the calculus of relations