Disentangling parallelism and interference in game semantics
From MaRDI portal
Publication:6635506
DOI10.46298/LMCS-20(3:24)2024MaRDI QIDQ6635506
Simon Castellan, Pierre Clairambault
Publication date: 12 November 2024
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the semantics of the bad-variable constructor in Algol-like languages
- Linear logic
- Resource modalities in tensor logic
- Totality in arena games
- Syntactic control of concurrency
- LCF considered as a programming language
- Non-angelic concurrent game semantics
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- The regular-language semantics of second-order idealized ALGOL
- Deterministic concurrent strategies
- Angelic semantics of fine-grained concurrency
- Game semantics for access control
- Event structures with symmetry
- Game Semantics and Normalization by Evaluation
- Operational Nominal Game Semantics
- Thin Games with Symmetry and Concurrent Hyland-Ong Games
- Full Abstraction Without Synchronization Primitives
- Game Semantics in the Nominal Model
- A System-Level Game Semantics
- Asynchronous Games: Innocence Without Alternation
- Bad Variables Under Control
- Partial Orders, Event Structures and Linear Strategies
- Abstract Böhm trees
- Causality vs. interleavings in concurrent game semantics
- Symmetry in concurrent games
- Transition systems over games
- Nondeterminism in Game Semantics via Sheaves
- The Parallel Intensionally Fully Abstract Games Model of PCF
- Semantics for probabilistic programming
- Deconstructing General References via Game Semantics
- Strategies as Profunctors
- A Game Semantics of Idealized CSP
- The concurrent game semantics of Probabilistic PCF
- CONCUR 2004 - Concurrency Theory
- Isomorphism theorems between models of mixed choice
- Games and Strategies as Event Structures
- Automata, Languages and Programming
- Finitary PCF is not decidable
- Disentangling parallelism and interference in game semantics
Related Items (1)
This page was built for publication: Disentangling parallelism and interference in game semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6635506)
