Towards a theory of replicated processing

Implementing fault-tolerant services using the state machine approach: a tutorial

ACM Computing Surveys (CSUR)

X-ability: a theory of replication

Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing

Relating communicating processes with different interfaces

Fundamenta Informaticae

Showing correctness of a replication algorithm in a component based system

IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications

A model of behaviour abstraction for communicating processes

STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science

Relating Communicating Processes with Different Interfaces

Fundamenta Informaticae