Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published January 1, 1988 | public
Report Open

Theorems on Computations of Distributed Systems

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.

Files

postscript.pdf
Files (2.2 MB)
Name Size Download all
md5:fd8e2c5fde2155944be01e939fc142bd
975.4 kB Preview Download
md5:a289eb4f78b7bf239beb18cc9ceae1af
1.2 MB Download

Additional details

Created:
August 19, 2023
Modified:
December 22, 2023