Unifying Semantics for Concurrent Programming
From MaRDI portal
Publication:4922078
DOI10.1007/978-3-642-38164-5_10zbMath1264.68042OpenAlexW124434858MaRDI QIDQ4922078
Publication date: 28 May 2013
Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38164-5_10
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items
A UTP approach for rTiMo ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics ⋮ Generic Models of the Laws of Programming
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Concurrent Kleene algebra and its foundations
- Graphical models of separation logic
- A calculus of communicating systems
- The Laws of Programming Unify Process Calculi
- On Locality and the Exchange Law for Concurrent Processes
- Laws of programming
- Refinement Calculus
- CONCUR 2004 - Concurrency Theory
- An axiomatic basis for computer programming