On the public citation graph

Categorical combinatorics of scheduling and synchronization in game semantics

https://doi.org/10.1145/3290336
0 signed · 28 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.2000.2917openalex-snapshot
On Full Abstraction for PCF: I, II, and III
inferredcites →https://doi.org/10.1006/inco.2000.2930openalex-snapshot
Full Abstraction for PCF
inferredcites →https://doi.org/10.1007/978-3-540-74407-8_27openalex-snapshot
Asynchronous Games: Innocence Without Alternation
inferredcites →https://doi.org/10.1007/978-3-540-77050-3_16openalex-snapshot
A Theory for Game Theories
inferredcites →https://doi.org/10.1007/978-3-642-19805-2_24openalex-snapshot
Synchronous Game Semantics via Round Abstraction
inferredcites →https://doi.org/10.1007/bfb0074299openalex-snapshot
Introduction to bicategories
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/j.tcs.2006.01.016openalex-snapshot
Asynchronous games 2: The true concurrency of innocence
inferredcites →https://doi.org/10.1016/s0304-3975(01)00241-9openalex-snapshot
Glueing and orthogonality for models of linear logic
inferredcites →https://doi.org/10.1016/s1571-0661(04)80073-2openalex-snapshot
Categorical Structure of Asynchrony
inferredcites →https://doi.org/10.1016/s1571-0661(05)80312-3openalex-snapshot
Abstract Games for Linear Logic Extended Abstract
inferredcites →https://doi.org/10.1109/lics.2007.14openalex-snapshot
Categorical Combinatorics for Innocent Strategies
inferredcites →https://doi.org/10.1109/lics.2011.13openalex-snapshot
Concurrent Strategies
inferredcites →https://doi.org/10.1112/jlms/jdm096openalex-snapshot
The cartesian closed bicategory of generalised species of structures
inferredcites →https://doi.org/10.1145/3209108.3209116openalex-snapshot
An Asynchronous Soundness Theorem for Concurrent Separation Logic
inferredcites →https://doi.org/10.1145/3290340openalex-snapshot
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side
inferredcites →https://doi.org/10.2307/2273784openalex-snapshot
Fibered categories and the foundations of naive category theory

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1090/tran/9577openalex-snapshot
Culf maps and edgewise subdivision
inferred← citeshttps://doi.org/10.1109/lics.2019.8785830openalex-snapshot
Template games and differential linear logic
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470758openalex-snapshot
Asynchronous Template Games and the Gray Tensor Product of 2-Categories
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175754openalex-snapshot
The Cartesian Closed Bicategory of Thin Spans of Groupoids
inferred← citeshttps://doi.org/10.1145/3290340openalex-snapshot
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side
inferred← citeshttps://doi.org/10.1145/3373718.3394762openalex-snapshot
Concurrent Separation Logic Meets Template Games
inferred← citeshttps://doi.org/10.1145/3571231openalex-snapshot
A Compositional Theory of Linearizability
inferred← citeshttps://doi.org/10.1145/3689792openalex-snapshot
Compositionality and Observational Refinement for Linearizability with Crashes
inferred← citeshttps://doi.org/10.17863/cam.61919openalex-snapshot
Probabilistic concurrent game semantics
inferred← citeshttps://doi.org/10.4204/eptcs.372.26openalex-snapshot
Grounding Game Semantics in Categorical Algebra
inferred← citeshttps://doi.org/10.48550/arxiv.2105.04929openalex-snapshot
Asynchronous Template Games and the Gray Tensor Product of 2-Categories
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.