On the public citation graph

A type-theoretic approach to deadlock-freedom of asynchronous systems

https://doi.org/10.1007/bfb0014557
0 signed · 33 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.1007/3-540-57182-5_3openalex-snapshot
Deliverables: a categorical approach to program development in type theory
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-60915-6_2openalex-snapshot
Specification Structures and propositions-as-types for concurrency
inferredcites →https://doi.org/10.1007/978-1-4612-5695-3_60openalex-snapshot
A Class of Simple Communication Patterns
inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot
Categories for the Working Mathematician
inferredcites →https://doi.org/10.1007/978-3-642-61455-2_10openalex-snapshot
Interaction Categories and the Foundations of Typed Concurrent Programming
inferredcites →https://doi.org/10.1007/978-3-642-82453-1_10openalex-snapshot
Deadlock Analysis in Networks of Communicating Processes
inferredcites →https://doi.org/10.1007/bfb0022535openalex-snapshot
Deadlocks and livelocks in transition systems
inferredcites →https://doi.org/10.1016/0020-0190(79)90065-6openalex-snapshot
Deadlock absence proofs for networks of communicating processes
inferredcites →https://doi.org/10.1016/0304-3975(81)90108-0openalex-snapshot
An extensional treatment of dataflow deadlock
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/0304-3975(88)90001-1openalex-snapshot
Fiftieth volume of theoretical computer science
inferredcites →https://doi.org/10.1016/0890-5401(87)90004-6openalex-snapshot
The pursuit of deadlock freedom
inferredcites →https://doi.org/10.1017/s0960129500001274openalex-snapshot
*-Autonomous categories and linear logic
inferredcites →https://doi.org/10.1109/lics.1993.287597openalex-snapshot
Relational properties of recursively defined domains
inferredcites →https://doi.org/10.1109/lics.1995.523258openalex-snapshot
A typed calculus of synchronous processes
inferredcites →https://doi.org/10.1109/lics.1997.614941openalex-snapshot
A partially deadlock-free typed process calculus
inferredcites →https://doi.org/10.1145/147508.147527openalex-snapshot
Termination, deadlock, and divergence
inferredcites →https://doi.org/10.1145/158511.158624openalex-snapshot
Relational parametricity and local variables
inferredcites →https://doi.org/10.1145/237721.237804openalex-snapshot
Linearity and the pi-calculus
inferredcites →https://doi.org/10.1145/360051.360224openalex-snapshot
Verifying properties of parallel programs

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-45657-0_34openalex-snapshot
Synchronous and Bidirectional Component Interfaces
inferred← citeshttps://doi.org/10.1007/3-540-49099-x_7openalex-snapshot
Types for Safe Locking
inferred← citeshttps://doi.org/10.1007/978-3-319-89366-2_5openalex-snapshot
A New Linear Logic for Deadlock-Free Session-Typed Processes
inferred← citeshttps://doi.org/10.1007/978-3-540-39910-0_12openalex-snapshot
Game Models for Open Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.04.030openalex-snapshot
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.06.007openalex-snapshot
Synchronization as a Special Case of Access Control
inferred← citeshttps://doi.org/10.1016/j.jlamp.2021.100717openalex-snapshot
Comparing type systems for deadlock freedom
inferred← citeshttps://doi.org/10.1016/s0304-3975(98)00189-3openalex-snapshot
A specification structure for deadlock-freedom of synchronous processes
inferred← citeshttps://doi.org/10.1016/s1570-7954(00)80027-3openalex-snapshot
Some aspects of categories in computer science
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80500-0openalex-snapshot
A categorical framework for typing CCS-style process communication
inferred← citeshttps://doi.org/10.3233/978-1-58603-907-3-1openalex-snapshot
Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures
inferred← citeshttps://doi.org/10.3233/fun-2001-48402openalex-snapshot
Types for Active Objects with Static Deadlock Prevention
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.