On the public citation graph

Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side

https://doi.org/10.1145/3290340
0 signed · 72 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/11539452_8openalex-snapshot
A Game Semantics of the Asynchronous π-Calculus
inferredcites →https://doi.org/10.1007/3-540-15670-4_9openalex-snapshot
The pomset model of parallel processes: Unifying the temporal and the spatial
inferredcites →https://doi.org/10.1007/3-540-45413-6_7openalex-snapshot
Sequentiality and the π-Calculus
inferredcites →https://doi.org/10.1007/3-540-55719-9_114openalex-snapshot
Barbed bisimulation
inferredcites →https://doi.org/10.1007/3-540-58184-7_118openalex-snapshot
An interaction-based language and its typing system
inferredcites →https://doi.org/10.1007/3-540-60084-1_114openalex-snapshot
Internal mobility and agent-passing calculi
inferredcites →https://doi.org/10.1007/3-540-62034-6_64openalex-snapshot
Graph types for monadic mobile processes
inferredcites →https://doi.org/10.1007/3-540-63141-0_26openalex-snapshot
First-order axioms for asynchrony
inferredcites →https://doi.org/10.1007/3-540-63172-0_32openalex-snapshot
Presheaf models for concurrency
inferredcites →https://doi.org/10.1007/978-3-319-25150-9_14openalex-snapshot
Rigid Families for CCS and the $$\pi $$ -calculus
inferredcites →https://doi.org/10.1007/978-3-319-89366-2_1openalex-snapshot
Non-angelic Concurrent Game Semantics
inferredcites →https://doi.org/10.1007/978-3-540-45187-7_4openalex-snapshot
Bundle Event Structures and CCSP
inferredcites →https://doi.org/10.1007/978-3-540-74407-8_22openalex-snapshot
Compositional Event Structure Semantics for the Internal π-Calculus
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-642-19805-2_24openalex-snapshot
Synchronous Game Semantics via Round Abstraction
inferredcites →https://doi.org/10.1007/978-3-662-54434-1_3openalex-snapshot
Observed Communication Semantics for Classical Processes
inferredcites →https://doi.org/10.1007/978-3-662-54458-7_23openalex-snapshot
A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus
inferredcites →https://doi.org/10.1007/bfb0053567openalex-snapshot
Language primitives and type discipline for structured communication-based programming
inferredcites →https://doi.org/10.1007/bfb0057019openalex-snapshot
An object calculus for asynchronous communication
inferredcites →https://doi.org/10.1007/s00236-005-0177-zopenalex-snapshot
Subtyping for session types in the pi calculus
inferredcites →https://doi.org/10.1016/0304-3975(95)00074-7openalex-snapshot
On reduction-based process semantics
inferredcites →https://doi.org/10.1016/0304-3975(96)00075-8openalex-snapshot
π-Calculus, internal mobility, and agent-passing calculi
inferredcites →https://doi.org/10.1016/j.entcs.2007.02.056openalex-snapshot
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
inferredcites →https://doi.org/10.1016/j.ic.2015.02.002openalex-snapshot
Session typing and asynchronous subtyping for the higher-order π-calculus
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(99)00039-0openalex-snapshot
Game-theoretic analysis of call-by-value computation
inferredcites →https://doi.org/10.1016/s0304-3975(99)00047-xopenalex-snapshot
Full abstraction for Idealized Algol with passive expressions
inferredcites →https://doi.org/10.1016/s1571-0661(04)80965-4openalex-snapshot
A Game Semantics of Idealized CSP
inferredcites →https://doi.org/10.1017/cbo9780511611063openalex-snapshot
A Distributed Pi-Calculus
inferredcites →https://doi.org/10.1017/s0956796809990268openalex-snapshot
Linear type theory for asynchronous session types
inferredcites →https://doi.org/10.1017/s0960129500001407openalex-snapshot
Functions as processes
inferredcites →https://doi.org/10.1109/lics.1997.614931openalex-snapshot
Full abstraction for functional languages with control
inferredcites →https://doi.org/10.1109/lics.1998.705669openalex-snapshot
A fully abstract game semantics for general references
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.1999.782638openalex-snapshot
Concurrent games and full completeness
inferredcites →https://doi.org/10.1109/lics.2005.6openalex-snapshot
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic
inferredcites →https://doi.org/10.1109/lics.2011.13openalex-snapshot
Concurrent Strategies
inferredcites →https://doi.org/10.1109/lics.2015.20openalex-snapshot
Game Semantics for Type Soundness
inferredcites →https://doi.org/10.1145/1328438.1328472openalex-snapshot
Multiparty asynchronous session types
inferredcites →https://doi.org/10.1145/224164.224189openalex-snapshot
Pi-calculus, dialogue games and full abstraction PCF
inferredcites →https://doi.org/10.1145/3127586openalex-snapshot
The Applied Pi Calculus
inferredcites →https://doi.org/10.1145/3209108.3209116openalex-snapshot
An Asynchronous Soundness Theorem for Concurrent Separation Logic
inferredcites →https://doi.org/10.1145/3290336openalex-snapshot
Categorical combinatorics of scheduling and synchronization in game semantics
inferredcites →https://doi.org/10.1145/507382.507385openalex-snapshot
Probabilistic game semantics
inferredcites →https://doi.org/10.17863/cam.34861openalex-snapshot
Games and Strategies as Event Structures
inferredcites →https://doi.org/10.2168/lmcs-10(4:20)2014openalex-snapshot
Globally Governed Session Semantics
inferredcites →https://doi.org/10.23638/lmcs-13(2:12)2017openalex-snapshot
On the Preciseness of Subtyping in Session Types
inferredcites →https://doi.org/10.23638/lmcs-13(4:2)2017openalex-snapshot
Modular, Fully-abstract Compilation by Approximate Back-translation
inferredcites →https://doi.org/10.48550/arxiv.1310.4306openalex-snapshot
Fully-abstract concurrent games for pi
inferredcites →https://doi.org/10.48550/arxiv.1504.04768openalex-snapshot
Partial Order Reduction for Security Protocols
inferredcites →https://doi.org/10.5555/2697442.2697675openalex-snapshot
Subtyping for session types in the pi calculus
inferredcites →https://doi.org/10.5555/2779624.2779717openalex-snapshot
Session typing and asynchronous subtyping for the higher-order π-calculus
inferredcites →https://doi.org/10.7146/brics.v3i35.20017openalex-snapshot
Presheaf Models for Concurrency

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-030-17127-8_9openalex-snapshot
Causality in Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_19openalex-snapshot
Bayesian strategies: probabilistic programs as generalised graphical models
inferred← citeshttps://doi.org/10.1007/978-3-031-57262-3_9openalex-snapshot
The Session Abstract Machine
inferred← citeshttps://doi.org/10.1007/978-3-032-22723-2_3openalex-snapshot
Denotational reasoning for asynchronous multiparty session types
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.09.008openalex-snapshot
Parametrized Fixed Points and Their Applications to Session Types
inferred← citeshttps://doi.org/10.1016/j.ic.2022.104892openalex-snapshot
Fairness and communication-based semantics for session-typed languages
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175686openalex-snapshot
Extensional and Non-extensional Functions as Processes
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175727openalex-snapshot
Making Concurrency Functional
inferred← citeshttps://doi.org/10.1145/3290336openalex-snapshot
Categorical combinatorics of scheduling and synchronization in game semantics
inferred← citeshttps://doi.org/10.1145/3371131openalex-snapshot
Full abstraction for the quantum lambda-calculus
inferred← citeshttps://doi.org/10.1145/3453483.3454041openalex-snapshot
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes
inferred← citeshttps://doi.org/10.4204/eptcs.322.7openalex-snapshot
Substructural Observed Communication Semantics
inferred← citeshttps://doi.org/10.4204/eptcs.365.3openalex-snapshot
Branching Pomsets for Choreographies
inferred← citeshttps://doi.org/10.4230/lipics.csl.2022.25openalex-snapshot
Game Semantics: Easy as Pi
inferred← citeshttps://doi.org/10.46298/lmcs-18(2:8)2022openalex-snapshot
Circular Proofs as Session-Typed Processes: A Local Validity Condition
inferred← citeshttps://doi.org/10.48550/arxiv.2103.10269openalex-snapshot
Zooid: a DSL for Certified Multiparty Computation
inferred← citeshttps://doi.org/10.70675/e3e2df45z9110z4f8dza99bzbf2dc0e2a9bdopenalex-snapshot
Unique solution techniques for processes and functions
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.