Detection of Global State Predicates (1991)
by
Keith Marzullo
,
Keith Marzullo
,
Gil Neiger
,
Gil Neiger
| Venue: | In Proc. 5th Int'l. Workshop on Distributed Algorithms (WDAG '91 |
| Citations: | 38 - 6 self |
BibTeX
@INPROCEEDINGS{Marzullo91detectionof,
author = {Keith Marzullo and Keith Marzullo and Gil Neiger and Gil Neiger},
title = {Detection of Global State Predicates},
booktitle = {In Proc. 5th Int'l. Workshop on Distributed Algorithms (WDAG '91},
year = {1991},
pages = {254--272},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
those of the authors and should not be construed as an official Department of Defense position, policy, or decision. Author's address: Cornell University
Citations
| 577 | Virtual Time and Global States in Distributed Systems - Mattern - 1988 |
| 150 | Consistent detection of global predicates - Cooper, Marzullo - 1991 |
| 69 | Breakpoints and halting in distributed programs - Miller, Choi - 1988 |
| 36 | Connecting tools using message passing in the FIELD program development environment - Reiss - 1990 |
| 15 | adaptable tool integration policies for integrated environments - Low-cost - 1990 |
| 10 | Using Consistent Subcuts for Detecting Stable Properties - Marzullo, Sabel - 1991 |
| 1 | Tolerating failures of continuous-valued sensors..4C3[ Transactions on Computer Systems - MarzuUo - 1990 |
| 1 | Tools for distributed application man[12] [13] [14] [15] [16] agement - Marzullo, Wood - 1991 |
