Cover Image

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)

Fuente: arXiv

Saved in:

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

Similar Items

The Qualitative Collapse of Concurrent Games
by: Clairambault, Pierre
Published: (2024)

Linearization via Rewriting (Long Version)
by: Lago, Ugo Dal, et al.
Published: (2025)

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

An Indexed Linear Logic for Idempotent Intersection Types (Long version)
by: Breuvart, Flavien, et al.
Published: (2024)

Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads
by: Paquet, Hugo, et al.
Published: (2023)

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)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
by: Gerlach, Lina, et al.
Published: (2025)

Stabilized profunctors and stable species of structures
by: Fiore, Marcelo, et al.
Published: (2023)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

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

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

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

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

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

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

A General Automata Model for First-Order Temporal Logics (Extended Version)
by: Geatti, Luca, et al.
Published: (2024)

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

Reachability and Safety Games under TSO Semantics (Extended Version)
by: Spengler, Stephan
Published: (2024)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
by: Gladshtein, Vladimir, et al.
Published: (2024)

Practical Deductive Verification of OCaml Programs (Extended Version)
by: Pereira, Mário
Published: (2024)

Towards Proving Liveness on Weak Memory (Extended Version)
by: Bargmann, Lara, et al.
Published: (2026)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
by: Preiner, Mathias, et al.
Published: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
by: Barenbaum, Pablo, et al.
Published: (2025)

First-Order LTLf Synthesis with Lookback (Extended Version)
by: Winkler, Sarah
Published: (2025)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
by: Acclavio, Matteo, et al.
Published: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
by: Kettmann, Pascal, et al.
Published: (2026)

Element-Free Probability Distributions and Random Partitions
by: Blanchi, Victor, et al.
Published: (2024)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
by: Gerlach, Lina, et al.
Published: (2025)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
by: Vandesande, Dieter, et al.
Published: (2025)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
by: Caires-Santos, Ali K., et al.
Published: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
by: Gogacz, Tomasz, et al.
Published: (2026)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
by: Paulus, Joseph W. N., et al.
Published: (2021)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
by: Baldan, Paolo, et al.
Published: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2026)

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
by: Dudenhefner, Andrej
Published: (2026)

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

Localized Attractor Computations for Infinite-State Games (Full Version)
by: Schmuck, Anne-Kathrin, et al.
Published: (2024)

Modular Attractor Acceleration in Infinite-State Games (Full Version)
by: Heim, Philippe, et al.
Published: (2026)