Concurrent structures in game semantics

zbMATH Open1409.68164MaRDI QIDQ4967237FDOQ4967237

Authors: Simon Castellan 

Publication date: 3 July 2019

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

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

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)

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
• A tale of additives and concurrency in game semantics
• Non-angelic concurrent 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)