Game Semantics for Higher-Order Concurrency
From MaRDI portal
Recommendations
Cited in
(23)- Non-angelic concurrent game semantics
- Game semantics and linear CPS interpretation
- Angelic semantics of fine-grained concurrency
- A game semantics of names and pointers
- A Mathematical Game Semantics of Concurrency and Nondeterminism
- A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables
- A truly concurrent game model of the asynchronous -calculus
- A Testing Theory for a Higher-Order Cryptographic Language
- Game semantics for call-by-value polymorphism
- Full abstraction for Reduced ML
- scientific article; zbMATH DE number 1956521 (Why is no real title available?)
- Sequentiality vs. concurrency in games and logic
- First-order reasoning for higher-order concurrency
- Program equivalence in a simple language with state
- Game theoretic analysis of call-by-value computation
- Transition systems over games
- Dynamic game semantics
- Concurrent Separation Logic Meets Template Games
- Abstract machines for game semantics, revisited
- Foundations of Software Science and Computation Structures
- Foundations of Software Science and Computation Structures
- CONCUR 2005 – Concurrency Theory
- Saturating automata for game semantics
This page was built for publication: Game Semantics for Higher-Order Concurrency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5386004)
