On the public citation graph

Game Semantics for Higher-Order Concurrency

https://doi.org/10.1007/11944836_38
0 signed · 37 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.1006/inco.2001.3080openalex-snapshot
Trace and Testing Equivalence on Asynchronous Processes
inferredcites →https://doi.org/10.1007/11539452_8openalex-snapshot
A Game Semantics of the Asynchronous π-Calculus
inferredcites →https://doi.org/10.1007/3-540-58140-5_25openalex-snapshot
Hereditarily sequential functionals
inferredcites →https://doi.org/10.1007/978-1-4471-0615-9openalex-snapshot
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
inferredcites →https://doi.org/10.1007/978-3-540-24727-2_16openalex-snapshot
Angelic Semantics of Fine-Grained Concurrency
inferredcites →https://doi.org/10.1007/978-3-540-24727-2_21openalex-snapshot
A Game Semantics of Local Names and Good Variables
inferredcites →https://doi.org/10.1007/bfb0055067openalex-snapshot
Generalised flowcharts and games
inferredcites →https://doi.org/10.1016/j.apal.2007.10.006openalex-snapshot
A game semantics of names and pointers
inferredcites →https://doi.org/10.1016/j.tcs.2004.10.012openalex-snapshot
A fully abstract may testing semantics for concurrent objects
inferredcites →https://doi.org/10.1016/j.tcs.2005.10.032openalex-snapshot
Syntactic control of concurrency
inferredcites →https://doi.org/10.1016/s0304-3975(03)00315-3openalex-snapshot
The regular-language semantics of second-order idealized ALGOL
inferredcites →https://doi.org/10.1016/s0304-3975(99)00039-0openalex-snapshot
Game-theoretic analysis of call-by-value computation
inferredcites →https://doi.org/10.1017/s0956796898003165openalex-snapshot
A theory of weak bisimulation for Core CML
inferredcites →https://doi.org/10.1017/s0960129597002375openalex-snapshot
Premonoidal categories and notions of computation
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/lics.1997.614935openalex-snapshot
Games and definability for system F
inferredcites →https://doi.org/10.1109/lics.1999.782637openalex-snapshot
A fully abstract game semantics for finite nondeterminism
inferredcites →https://doi.org/10.1109/lics.2002.1029820openalex-snapshot
A fully abstract may testing semantics for concurrent objects
inferredcites →https://doi.org/10.1109/lics.2002.1029835openalex-snapshot
Polarized games
inferredcites →https://doi.org/10.1145/113445.113470openalex-snapshot
CML
inferredcites →https://doi.org/10.2168/lmcs-1(1:4)2005openalex-snapshot
Contextual equivalence for higher-order pi-calculus revisited

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11944836openalex-snapshot
FSTTCS 2006 : foundations of software technology and theoretical computer science : 26th International Conference, Kolkata, India, December 13-15, 2006 : proceedings
inferred← citeshttps://doi.org/10.1007/978-1-84882-912-1_2openalex-snapshot
From CSP to Game Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-19718-5_19openalex-snapshot
A Testing Theory for a Higher-Order Cryptographic Language
inferred← citeshttps://doi.org/10.1016/j.cl.2012.02.002openalex-snapshot
Program equivalence in a simple language with state
inferred← citeshttps://doi.org/10.1016/j.cl.2012.04.003openalex-snapshot
First-order reasoning for higher-order concurrency
inferred← citeshttps://doi.org/10.1109/lics.2011.31openalex-snapshot
Game Semantics for Good General References
inferred← citeshttps://doi.org/10.1145/2535838.2535880openalex-snapshot
Game semantics for interface middleweight Java
inferred← citeshttps://doi.org/10.1145/2578855.2535880openalex-snapshot
Game semantics for interface middleweight Java
inferred← citeshttps://doi.org/10.1145/2948896.2948902openalex-snapshot
An invitation to game semantics
inferred← citeshttps://doi.org/10.1145/3428676openalex-snapshot
Game Semantics for Interface Middleweight Java
inferred← citeshttps://doi.org/10.1145/3498686openalex-snapshot
Verified compilation of C programs with a nominal memory model
inferred← citeshttps://doi.org/10.23638/lmcs-13(4:9)2017openalex-snapshot
An intensionally fully-abstract sheaf model for $\pi$ (expanded version)
inferred← citeshttps://doi.org/10.46298/entics.12277openalex-snapshot
Saturating automata for game semantics
inferred← citeshttps://doi.org/10.70675/6b70d44az1115z499czb627z1399e095ca2bopenalex-snapshot
Enriched concurrent games : witnesses for proofs and resource analysis
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.