Theorems on Computations of Distributed Systems

Authors:
K. M Chandy
Affiliations:
-
Venue:
Theorems on Computations of Distributed Systems
Year:
1988

Citing 0
Cited 1

Local and temporal predicates in distributed systems

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents theorems that are helpful in developing algorithms for the detection of stable properties, recording global snapshots and tracing the execution of distributed systems. The theorems are based on a property of channels.