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 -calculus

Cited in

(11)

• Non-angelic concurrent game semantics
• Continuous probability distributions in concurrent games
• A Mathematical Game Semantics of Concurrency and Nondeterminism
• A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables
• Sequentiality vs. concurrency in games and logic
• Justified sequences in string diagrams: a comparison between two approaches to concurrent game semantics
• Causality vs. interleavings in concurrent game semantics
• scientific article; zbMATH DE number 7204431 (Why is no real title available?)
• Concurrent Separation Logic Meets Template Games
• Asynchronous Games over Tree Architectures
• A tale of additives and concurrency in game semantics

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)