Concurrent structures in game semantics

MaRDI QIDQ4967237zbMATH OpenFDO

Authors Simon Castellan

Publication date 3 July 2019

Full work available at URL http://bulletin.eatcs.org/index.php/beatcs/article/view/501/490

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The Parallel Intensionally Fully Abstract Games Model of PCF
• Causality vs. interleavings in concurrent game semantics
• What's in a game?
• Games and strategies as event structures
• A truly concurrent game model of the asynchronous \(\pi\)-calculus

Cited in

(10)

• Causality vs. interleavings in concurrent game semantics
• Continuous probability distributions in concurrent games
• Concurrent Separation Logic Meets Template Games
• Justified sequences in string diagrams: a comparison between two approaches to concurrent game semantics
• Non-angelic concurrent game semantics
• A tale of additives and concurrency in game semantics
• Sequentiality vs. concurrency in games and logic
• A Mathematical Game Semantics of Concurrency and Nondeterminism
• A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables
• Asynchronous Games over Tree Architectures

This page was built for publication: Concurrent structures in game semantics

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