Maintaining global assertions on distributed sytems
| Author(s) : | Alexander I. Tomlinson Vijay K. Garg, |
| Publisher : | N/A |
| Publication Date : | 1994 |
| ISSN : | N/A |
| Abstract : | This paper develops a method for maintaining global assertions on a network of distributed processes. The global assertion has the form (X 1, |