On the public citation graph

Detecting global predicates in distributed systems with clocks

https://doi.org/10.1007/bfb0030684
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/0-306-47055-1_7openalex-snapshot
Real-Time Communication
inferredcites →https://doi.org/10.1007/3-540-56610-4_94openalex-snapshot
Reachability analysis on distributed executions
inferredcites →https://doi.org/10.1007/978-1-4471-3078-9_12openalex-snapshot
Linear Space Algorithm for On-line Detection of Global Predicates
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.1007/bfb0022452openalex-snapshot
Detection of global state predicates
inferredcites →https://doi.org/10.1057/jors.1991.155openalex-snapshot
Introduction to Algorithms
inferredcites →https://doi.org/10.1109/26.103043openalex-snapshot
Internet time synchronization: the network time protocol
inferredcites →https://doi.org/10.1109/71.277788openalex-snapshot
Detection of weak unstable predicates in distributed programs
inferredcites →https://doi.org/10.1109/71.553309openalex-snapshot
Detection of strong unstable predicates in distributed programs
inferredcites →https://doi.org/10.1109/90.392384openalex-snapshot
Improved algorithms for synchronizing computer network clocks
inferredcites →https://doi.org/10.1109/icdcs.1995.500048openalex-snapshot
Characterizing and detecting the set of global states seen by all observers of a distributed computation
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/200994.201005openalex-snapshot
Local and temporal predicates in distributed systems
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/6041.6074openalex-snapshot
Distributed operating systems

What points at this work

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

inferred← citeshttps://doi.org/10.1002/cpe.1066openalex-snapshot
An instrumentation technique for online analysis of multithreaded programs
inferred← citeshttps://doi.org/10.1007/11795490_14openalex-snapshot
Stable Predicate Detection in Dynamic Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-85437-3_55openalex-snapshot
A Post-mortem JavaSpaces Debugger
inferred← citeshttps://doi.org/10.1007/978-3-319-91908-9_25openalex-snapshot
Runtime Verification Past Experiences and Future Projections
inferred← citeshttps://doi.org/10.1007/978-3-642-13526-2_12openalex-snapshot
Mobile Agents and Eventually Perfect Predicate Detection: An Intelligent General Approach to Monitoring Distributed Systems
inferred← citeshttps://doi.org/10.1007/bfb0028758openalex-snapshot
Efficient symbolic detection of global properties in distributed systems
inferred← citeshttps://doi.org/10.1007/s004460050069openalex-snapshot
Detecting global predicates in distributed systems with clocks
inferred← citeshttps://doi.org/10.1007/s10703-024-00450-5openalex-snapshot
Runtime verification of partially-synchronous distributed system
inferred← citeshttps://doi.org/10.1109/aaa-idea.2005.17openalex-snapshot
Towards Partially Synchronous Overlays: Issues and Challenges
inferred← citeshttps://doi.org/10.1109/ipdps.2004.1303344openalex-snapshot
An instrumentation technique for online analysis of multithreaded programs
inferred← citeshttps://doi.org/10.1109/ispdc.2003.1267641openalex-snapshot
Graphical design tool for parallel programs with execution control based on global application states
inferred← citeshttps://doi.org/10.1145/301308.301350openalex-snapshot
Timed consistency for shared distributed objects
inferred← citeshttps://doi.org/10.1145/311531.311532openalex-snapshot
Fundamentals of fault-tolerant distributed computing in asynchronous environments
inferred← citeshttps://doi.org/10.1145/3663338openalex-snapshot
Proceedings of the 2024 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems
inferred← citeshttps://doi.org/10.1145/940071.940116openalex-snapshot
Runtime safety analysis of multithreaded programs
inferred← citeshttps://doi.org/10.47839/ijc.2.3.223openalex-snapshot
SYNCHRONIZATION BASED ON GLOBAL STATES AS A GENERAL CONTROL METHOD IN PARALLEL 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.