Paradigms for Distributed Programs

On the reliability of consensus-based fault-tolerant distributed computing systems

ACM Transactions on Computer Systems (TOCS)

Detection of stable properties in distributed applications

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing

The Generic Consensus Service

IEEE Transactions on Software Engineering

Towards the construction of distributed detection programs, with an application to distributed termination

Distributed Computing

Exploiting predicate structure for efficient reachability detection

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering

Design and performance of a generic consensus component for critical distributed applications

Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies