Deriving distributed algorithms from a general predicate detector


Designing and debugging distributed systems requires the detection of conditions across the entire system. As an illustration, monitoring the status of an application requires detection of termination, and using virtual time requires the periodic calculation of the global virtual time. The Generalized Conjunctive Predicate (GCP) detector ooers a method to… (More)
DOI: 10.1109/CMPSAC.1995.524790


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics