On the public citation graph

Towards the construction of distributed detection programs, with an application to distributed termination

https://doi.org/10.1007/bf02277858
0 signed · 36 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-15216-4_18openalex-snapshot
Paradigms for distributed programs
inferredcites →https://doi.org/10.1007/3-540-16761-7_84openalex-snapshot
A new approach to detection of locally indicative stability
inferredcites →https://doi.org/10.1007/3-540-18740-5_98openalex-snapshot
Distributed infimum approximation
inferredcites →https://doi.org/10.1007/3-540-51687-5_37openalex-snapshot
Observing global states of asynchronous distributed applications
inferredcites →https://doi.org/10.1007/978-3-662-09507-2_19openalex-snapshot
Communicating Sequential Processes
inferredcites →https://doi.org/10.1007/bf01782776openalex-snapshot
Algorithms for distributed termination detection
inferredcites →https://doi.org/10.1007/bfb0035177openalex-snapshot
Distributed evaluation: a tool for constructing distributed detection programs
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)90092-3openalex-snapshot
Derivation of a termination detection algorithm for distributed computations
inferredcites →https://doi.org/10.1016/0141-9331(89)90152-xopenalex-snapshot
Parallel program design: a foundation
inferredcites →https://doi.org/10.1109/2.43525openalex-snapshot
Deadlock detection in distributed systems
inferredcites →https://doi.org/10.1109/tit.1983.1056620openalex-snapshot
Distributed network protocols
inferredcites →https://doi.org/10.1109/tse.1986.6312900openalex-snapshot
A distributed scheme for detecting communication deadlocks
inferredcites →https://doi.org/10.1145/214451.214456openalex-snapshot
Distributed snapshots
inferredcites →https://doi.org/10.1145/357084.357087openalex-snapshot
Distributed Termination
inferredcites →https://doi.org/10.1145/357360.357365openalex-snapshot
Distributed deadlock detection
inferredcites →https://doi.org/10.1145/3916.3988openalex-snapshot
Virtual time
inferredcites →https://doi.org/10.1145/41840.41851openalex-snapshot
Detection of stable properties in distributed applications
inferredcites →https://doi.org/10.1145/73560.73581openalex-snapshot
A compositional approach to superimposition
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.1006/jpdc.1996.0017openalex-snapshot
Deadlock Models and a General Algorithm for Distributed Deadlock Detection
inferred← citeshttps://doi.org/10.1007/978-1-4471-3078-9_12openalex-snapshot
Linear Space Algorithm for On-line Detection of Global Predicates
inferred← citeshttps://doi.org/10.1007/978-1-4471-3209-7_11openalex-snapshot
Coherence in Distributed Persistent Object Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-27860-3_5openalex-snapshot
Detecting Locally Stable Predicates Without Modifying Application Messages
inferred← citeshttps://doi.org/10.1007/978-3-540-30186-8_21openalex-snapshot
Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies
inferred← citeshttps://doi.org/10.1007/978-3-642-04355-0_2openalex-snapshot
Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement!
inferred← citeshttps://doi.org/10.1007/978-3-642-38123-2_14openalex-snapshot
Distributed Termination Detection
inferred← citeshttps://doi.org/10.1007/bfb0035177openalex-snapshot
Distributed evaluation: a tool for constructing distributed detection programs
inferred← citeshttps://doi.org/10.1007/s00446-007-0031-3openalex-snapshot
A family of optimal termination detection algorithms
inferred← citeshttps://doi.org/10.1016/j.jpdc.2006.12.004openalex-snapshot
Efficient detection of a locally stable predicate in a distributed system
inferred← citeshttps://doi.org/10.1080/00207729708929474openalex-snapshot
Adaptive checkpointing in message passing distributed systems
inferred← citeshttps://doi.org/10.1109/ftdcs.1995.524984openalex-snapshot
Deadlocks in distributed systems: request models and definitions
inferred← citeshttps://doi.org/10.1109/iwooos.1992.252994openalex-snapshot
Operating system level support for coherence in distributed object systems
inferred← citeshttps://doi.org/10.1109/tse.2007.1000openalex-snapshot
Detecting Arbitrary Stable Properties Using Efficient Snapshots
inferred← citeshttps://doi.org/10.1145/506378.506380openalex-snapshot
Operating system level support for coherence in distributed systems
inferred← citeshttps://doi.org/10.5860/choice.33-0987openalex-snapshot
Introduction to distributed algorithms
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.