The Laws of Programming Unify Process Calculi
From MaRDI portal
Publication:2908555
DOI10.1007/978-3-642-31113-0_2zbMath1358.68064OpenAlexW2111629414MaRDI 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
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (6)
Exploring an Interface Model for CKA ⋮ An algebraic theory for shared-state concurrency ⋮ Unifying Semantics for Concurrent Programming ⋮ Constructing the Views Framework ⋮ Generic Models of the Laws of Programming ⋮ On the relation between concurrent separation logic and concurrent Kleene algebra
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The Laws of Programming Unify Process Calculi