On the public citation graph

Efficient detection of restricted classes of global predicates

https://doi.org/10.1007/bfb0022155
0 signed · 45 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-56287-7_110openalex-snapshot
Detection of unstable predicates in distributed programs
inferredcites →https://doi.org/10.1007/978-3-7091-9396-9_23openalex-snapshot
Specification and Verification of Behavioral Patterns in Distributed Computations
inferredcites →https://doi.org/10.1007/bf02277859openalex-snapshot
Detecting causal relationships in distributed computations: In search of the holy grail
inferredcites →https://doi.org/10.1007/bfb0022156openalex-snapshot
Faster possibility detection by combining two approaches
inferredcites →https://doi.org/10.1016/0020-0190(92)90253-ropenalex-snapshot
Some optimal algorithms for decomposed partially ordered sets
inferredcites →https://doi.org/10.1016/0304-3975(87)90005-3openalex-snapshot
Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP
inferredcites →https://doi.org/10.1109/71.277788openalex-snapshot
Detection of weak unstable predicates in distributed programs
inferredcites →https://doi.org/10.1109/dcs.1988.12532openalex-snapshot
Breakpoints and halting in distributed programs
inferredcites →https://doi.org/10.1109/icpp.1994.138openalex-snapshot
On the Fly Testing of Regular Patterns in Distributed Computations
inferredcites →https://doi.org/10.1145/12130.12144openalex-snapshot
A new approach to the maximum flow problem
inferredcites →https://doi.org/10.1145/122759.122774openalex-snapshot
Consistent detection of global predicates
inferredcites →https://doi.org/10.1145/127695.122774openalex-snapshot
Consistent detection of global predicates
inferredcites →https://doi.org/10.1145/174266.174270openalex-snapshot
Detecting relational global predicates in distributed systems
inferredcites →https://doi.org/10.1145/174266.174271openalex-snapshot
Detecting atomic sequences of predicates in distributed computations
inferredcites →https://doi.org/10.1145/174267.174270openalex-snapshot
Detecting relational global predicates in distributed systems
inferredcites →https://doi.org/10.1145/174267.174271openalex-snapshot
Detecting atomic sequences of predicates in distributed computations
inferredcites →https://doi.org/10.1145/214451.214456openalex-snapshot
Distributed snapshots
inferredcites →https://doi.org/10.1145/68210.69233openalex-snapshot
Partial orders for parallel debugging
inferredcites →https://doi.org/10.1145/69215.69233openalex-snapshot
Partial orders for parallel debugging

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9781119069706.biblioopenalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1007/978-3-540-70545-1_47openalex-snapshot
Producing Short Counterexamples Using “Crucial Events”
inferred← citeshttps://doi.org/10.1007/978-3-540-77444-0_13openalex-snapshot
Detection of Disjunctive Normal Form Predicate in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-04761-9_29openalex-snapshot
On Detecting Regular Predicates in Distributed Systems
inferred← citeshttps://doi.org/10.1007/s00446-004-0117-0openalex-snapshot
Techniques and applications of computation slicing
inferred← citeshttps://doi.org/10.1007/s004460050049openalex-snapshot
Detection of global predicates: Techniques and their limitations
inferred← citeshttps://doi.org/10.1016/j.tcs.2024.114914openalex-snapshot
Tolerance to asynchrony in algorithms for multiplication and modulo
inferred← citeshttps://doi.org/10.1016/s0020-0190(02)00485-4openalex-snapshot
An efficient minimum and maximum global snapshot algorithm
inferred← citeshttps://doi.org/10.1016/s0020-0190(98)00100-8openalex-snapshot
On the time complexity of minimum and maximum global snapshot problems
inferred← citeshttps://doi.org/10.1093/comjnl/41.4.231openalex-snapshot
On Detection of Bounded Global Predicates
inferred← citeshttps://doi.org/10.1109/4434.641629openalex-snapshot
Methods for observing global properties in distributed systems
inferred← citeshttps://doi.org/10.1109/71.995818openalex-snapshot
Distributed predicate detection in series-parallel systems
inferred← citeshttps://doi.org/10.1109/apsec.2008.36openalex-snapshot
Detection of a Set of States in Distributed Systems
inferred← citeshttps://doi.org/10.1109/asset.1998.688250openalex-snapshot
Debugging in a distributed world: observation and control
inferred← citeshttps://doi.org/10.1109/cmpsac.1997.624733openalex-snapshot
On the complexity of the minimum and maximum global snapshot problems
inferred← citeshttps://doi.org/10.1109/icdsc.2001.918927openalex-snapshot
On detecting global predicates in distributed computations
inferred← citeshttps://doi.org/10.1109/icis.2011.30openalex-snapshot
Detection of Regular Predicates in a Whole Space in Distributed Computation
inferred← citeshttps://doi.org/10.1109/icpads.1997.652588openalex-snapshot
Detection of summative global predicates
inferred← citeshttps://doi.org/10.1109/ipdps.2004.1302994openalex-snapshot
Finding satisfying global states: all for one and one for all
inferred← citeshttps://doi.org/10.1109/mtv.2007.21openalex-snapshot
Runtime Verification of k-Mutual Exclusion for SoCs
inferred← citeshttps://doi.org/10.1109/tpds.2007.1077openalex-snapshot
Solving Computation Slicing Using Predicate Detection
inferred← citeshttps://doi.org/10.1109/tse.2002.1049405openalex-snapshot
An efficient distributed online algorithm to detect strong conjunctive predicates
inferred← citeshttps://doi.org/10.1145/1101908.1101913openalex-snapshot
Exploiting predicate structure for efficient reachability detection
inferred← citeshttps://doi.org/10.1145/945526.945536openalex-snapshot
ACM SIGACT News distributed computing column 12
inferred← citeshttps://doi.org/10.3844/jcssp.2020.402.421openalex-snapshot
On the Construction and Properties of Lattice-Group Structure in Cartesian Product Spaces
inferred← citeshttps://doi.org/10.4018/978-1-4666-0089-8.ch003openalex-snapshot
Runtime Verification of Distributed Programs
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.