Angelic semantics of fine-grained concurrency

DOI10.1016/J.APAL.2007.10.005MaRDI QIDQ2474441zbMATH OpenOpenAlexFDO

Authors Dan R. Ghica, Andrzej S. Murawski

Publication date 6 March 2008

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:46b97d31-7737-496a-ba2d-175c34ac5f44

zbMATH Keywords

game semanticsMay-equivalenceshared-memory concurrency

Mathematics Subject Classification ID

Theory of programming languages (68N15) Applications of game theory (91A80) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Foundations of Software Science and Computation Structures
• A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables
• A Game Semantics of Idealized CSP
• Game Semantics for Higher-Order Concurrency
• Full abstraction without synchronization primitives

Cites work

• scientific article; zbMATH DE number 1670817 (Why is no real title available?)
• scientific article; zbMATH DE number 108539 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• A Game Semantics of Idealized CSP
• Automata, Languages and Programming
• Bireflectivity
• CONCUR 2004 - Concurrency Theory
• On full abstraction for PCF: I, II and III

Cited in

(17)

• A system-level game semantics
• Latent semantic analysis of game models using LSTM
• Full abstraction without synchronization primitives
• The far side of the cube. An elementary introduction to game semantics
• A truly concurrent game model of the asynchronous \(\pi\)-calculus
• A tale of additives and concurrency in game semantics
• Synchronous game semantics via round abstraction
• Game semantics in the nominal model
• Foundations of Software Science and Computation Structures
• Disentangling parallelism and interference in game semantics
• Leafy automata for higher-order concurrency
• scientific article; zbMATH DE number 4180791 (Why is no real title available?)
• Automata, Languages and Programming
• scientific article; zbMATH DE number 7204431 (Why is no real title available?)
• Syntactic control of concurrency
• Game Semantics for Higher-Order Concurrency
• Geometry of synthesis. II: From games to delay-insensitive circuits

This page was built for publication: Angelic semantics of fine-grained concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2474441)