The Qualitative Collapse of Concurrent Games

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Clairambault, Pierre
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
by: Clairambault, Pierre, et al.
Published: (2023)

Disentangling Parallelism and Interference in Game Semantics
by: Castellan, Simon, et al.
Published: (2021)

Extensional Taylor Expansion
by: Blondeau-Patissier, Lison, et al.
Published: (2023)

Strategies as Resource Terms, and their Categorical Semantics
by: Blondeau-Patissier, Lison, et al.
Published: (2023)

An Analysis of Symmetry in Quantitative Semantics
by: Clairambault, Pierre, et al.
Published: (2024)

Wiring the Pi-calculus to Denotational Semantics
by: Sakayori, Ken, et al.
Published: (2026)

Concurrent Strategies on Games with Algebras
by: Huriot-Tattegrain, Sacha, et al.
Published: (2024)

Antichains for Concurrent Parameterized Games
by: Bertrand, Nathalie, et al.
Published: (2025)

Rational Capability in Concurrent Games
by: Li, Yinfeng, et al.
Published: (2025)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
by: Rajasekaran, Senthil, et al.
Published: (2025)

Computation and Concurrency
by: Wang, Yong
Published: (2024)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Concurrent Games over Relational Structures: The Origin of Game Comonads
by: Montacute, Yoàv, et al.
Published: (2024)

On Propositional Dynamic Logic and Concurrency
by: Acclavio, Matteo, et al.
Published: (2024)

Finitary Truly Concurrent Bisimulations
by: Wang, Yong
Published: (2026)

Structural Operational Semantics for True Concurrency
by: Wang, Yong
Published: (2026)

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
by: Gutierrez, Julian, et al.
Published: (2023)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
by: Yan, Rui, et al.
Published: (2022)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
by: Casetta, Richard, et al.
Published: (2026)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
by: Cecilia, Gabriele
Published: (2025)

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
by: Bortin, Maksym
Published: (2020)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
by: Grobelna, Marta, et al.
Published: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
by: Olarte, Carlos, et al.
Published: (2024)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
by: Heuvel, Bas van den, et al.
Published: (2021)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
by: Cesco, Arnaldo, et al.
Published: (2021)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
by: Nemati, Hamed, et al.
Published: (2025)

On the Expressivity of Typed Concurrent Calculi
by: Paulus, Joseph William Neal
Published: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
by: Zilberstein, Noam, et al.
Published: (2025)

A Lazy, Concurrent Convertibility Checker
by: Courant, Nathanaëlle, et al.
Published: (2025)

Towards Concurrent Quantitative Separation Logic
by: Fesefeldt, Ira, et al.
Published: (2022)

The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games
by: Bhaduri, Purandar
Published: (2025)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
by: Mottet, Antoine, et al.
Published: (2021)

The Algebra of Parity Games
by: Piedeleu, Robin
Published: (2025)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
by: Phalakarn, Kittiphon, et al.
Published: (2025)

A Truly Concurrent Semantics for Reversible CCS
by: Melgratti, Hernán, et al.
Published: (2023)

Generalized Security-Preserving Refinement for Concurrent Systems
by: Sun, Huan, et al.
Published: (2025)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
by: Mannucci, Mirco A.
Published: (2025)

Stuttering Equivalence for Parity Games
by: Cranen, Sjoerd, et al.
Published: (2011)