On the public citation graph

Distributed termination in CSP symmetric solutions with minimal storage

https://doi.org/10.1007/bfb0024015
0 signed · 24 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-10699-5_105openalex-snapshot
Distributed termination with interval assertions
inferredcites →https://doi.org/10.1016/0020-0190(80)90021-6openalex-snapshot
Termination detection for diffusing computations
inferredcites →https://doi.org/10.1016/0020-0190(83)90089-3openalex-snapshot
A distributed solution of the distributed termination problem
inferredcites →https://doi.org/10.1016/0020-0190(83)90092-3openalex-snapshot
Derivation of a termination detection algorithm for distributed computations
inferredcites →https://doi.org/10.1016/0020-0190(84)90071-1openalex-snapshot
Termination detection for distributed computations
inferredcites →https://doi.org/10.1016/0167-6423(83)90014-xopenalex-snapshot
An assertional correctness proof of a distributed algorithm
inferredcites →https://doi.org/10.1109/tse.1982.235257openalex-snapshot
Achieving Distributed Termination without Freezing
inferredcites →https://doi.org/10.1145/357084.357087openalex-snapshot
Distributed Termination
inferredcites →https://doi.org/10.1145/357153.357156openalex-snapshot
Termination Detection of Diffusing Computations in Communicating Sequential Processes
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/567532.567547openalex-snapshot
On the andvantages of free choice
inferredcites →https://doi.org/10.1145/800220.806678openalex-snapshot
Dynamic systems and their distributed termination
inferredcites →https://doi.org/10.1145/800221.806729openalex-snapshot
Detecting termination of distributed computations using markers

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-16761-7_84openalex-snapshot
A new approach to detection of locally indicative stability
inferred← citeshttps://doi.org/10.1007/978-1-4615-3422-8_28openalex-snapshot
An Efficient Distributed Termination
inferred← citeshttps://doi.org/10.1007/bf00263584openalex-snapshot
On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
inferred← citeshttps://doi.org/10.1007/bf01782776openalex-snapshot
Algorithms for distributed termination detection
inferred← citeshttps://doi.org/10.1007/bf01840392openalex-snapshot
Asynchronous distributed termination—parallel and symmetric solutions with echo algorithms
inferred← citeshttps://doi.org/10.1007/bfb0015731openalex-snapshot
Repeated synchronous snapshots and their implementation in CSP
inferred← citeshttps://doi.org/10.1007/bfb0019818openalex-snapshot
On the existence of generic broadcast algorithms in networks of Communicating Sequential Processes
inferred← citeshttps://doi.org/10.1007/bfb0023988openalex-snapshot
STACS 85
inferred← citeshttps://doi.org/10.1016/0304-3975(87)90005-3openalex-snapshot
Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP
inferred← citeshttps://doi.org/10.1016/s0167-8191(96)00068-3openalex-snapshot
Distributed termination detection for dynamic systems
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.