Detecting relational global predicates in distributed systems

Authors:
Alexander I. Tomlinson;Vijay K. Garg
Affiliations:
Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, Texas;Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, Texas
Venue:
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Year:
1993

Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP

Theoretical Computer Science
Global events and global breakpoints in distributed systems

Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Partial orders for parallel debugging

PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Consistent detection of global predicates

PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
About logical clocks for distributed systems

ACM SIGOPS Operating Systems Review
Some optimal algorithms for decomposed partially ordered sets

Information Processing Letters
Detecting atomic sequences of predicates in distributed computations

PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Distributed snapshots: determining global states of distributed systems

ACM Transactions on Computer Systems (TOCS)
Detection of Strong Unstable Predicates in Distributed Programs

IEEE Transactions on Parallel and Distributed Systems
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
Detection of Unstable Predicates in Distributed Programs

Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science

Hi-index	0.00