On the public citation graph

Efficient symbolic detection of global properties in distributed systems

https://doi.org/10.1007/bfb0028758
0 signed · 28 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/bfb0022433openalex-snapshot
Distributed Algorithms
inferredcites →https://doi.org/10.1007/bfb0022452openalex-snapshot
Detection of global state predicates
inferredcites →https://doi.org/10.1007/bfb0030684openalex-snapshot
Detecting global predicates in distributed systems with clocks
inferredcites →https://doi.org/10.1016/0004-3702(95)00046-1openalex-snapshot
Experimental results on the crossover point in random 3-SAT
inferredcites →https://doi.org/10.1016/b978-0-444-81641-2.50019-8openalex-snapshot
Automatic Verification of Sequential Circuit Designs
inferredcites →https://doi.org/10.1098/rsta.1992.0028openalex-snapshot
Automatic verification of sequential circuit designs
inferredcites →https://doi.org/10.1109/71.277788openalex-snapshot
Detection of weak unstable predicates in distributed programs
inferredcites →https://doi.org/10.1109/icpads.1994.590349openalex-snapshot
Techniques to tackle state explosion in global predicate detection
inferredcites →https://doi.org/10.1109/spdp.1994.346161openalex-snapshot
Inevitable global states: a concept to detect unstable properties of distributed computations in an observer independent way
inferredcites →https://doi.org/10.1145/122759.122774openalex-snapshot
Consistent detection of global predicates
inferredcites →https://doi.org/10.1145/136035.136043openalex-snapshot
Symbolic Boolean manipulation with ordered binary-decision diagrams
inferredcites →https://doi.org/10.1145/174266.174270openalex-snapshot
Detecting relational global predicates in distributed systems
inferredcites →https://doi.org/10.1145/174267.174270openalex-snapshot
Detecting relational global predicates in distributed systems
inferredcites →https://doi.org/10.1145/198153.198161openalex-snapshot
Local states in distributed computations
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11691372_18openalex-snapshot
Efficient Model Checking for LTL with Partial Order Snapshots
inferred← citeshttps://doi.org/10.1007/978-3-032-05435-7_15openalex-snapshot
Monitoring Distributed Systems Based on Partial Order Executions with Global States
inferred← citeshttps://doi.org/10.1007/978-3-540-27860-3_17openalex-snapshot
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
inferred← citeshttps://doi.org/10.1007/978-3-540-31980-1_33openalex-snapshot
Snapshot Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-75142-7_32openalex-snapshot
Detecting Temporal Logic Predicates on Distributed Computations
inferred← citeshttps://doi.org/10.1007/s00446-003-0104-xopenalex-snapshot
Finding missing synchronization in a distributed computation using controlled re-execution
inferred← citeshttps://doi.org/10.1007/s004460050069openalex-snapshot
Detecting global predicates in distributed systems with clocks
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.03.002openalex-snapshot
Efficient model checking for LTL with partial order snapshots
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)81041-7openalex-snapshot
Partial Order Trace Analyzer (POTA) for Distributed Programs
inferred← citeshttps://doi.org/10.1109/32.940566openalex-snapshot
Techniques to tackle state explosion in global predicate detection
inferred← citeshttps://doi.org/10.1109/empdp.2003.1183605openalex-snapshot
Implementing control in parallel programs by synchronization-driven activation and cancellation
inferred← citeshttps://doi.org/10.1109/pcee.2002.1115222openalex-snapshot
Adding advanced synchronization to processes in GRADE
inferred← citeshttps://doi.org/10.1145/343477.343624openalex-snapshot
Debugging distributed programs using controlled re-execution
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.