Full Abstraction Without Synchronization Primitives
From MaRDI portal
Publication:3178268
DOI10.1016/j.entcs.2010.08.025zbMath1342.68061OpenAlexW2153166150MaRDI QIDQ3178268
Publication date: 8 July 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2010.08.025
Applications of game theory (91A80) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Cites Work
- Unnamed Item
- On the semantics of the bad-variable constructor in Algol-like languages
- Myths about the mutual exclusion problem
- The essence of parallel Algol.
- Angelic semantics of fine-grained concurrency
- Bad Variables Under Control
- A new solution of Dijkstra's concurrent programming problem
- A Game Semantics of Idealized CSP