. Lamport, How to make a correct multiprocess program execute correctly on a multiprocessor, IEEE Transactions on Computers, vol.46, issue.7, pp.779-782, 1997.
DOI : 10.1109/12.599898

F. B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys, vol.22, issue.4, pp.4-299, 1990.
DOI : 10.1145/98163.98167

. Shapiro, ? Structure and Encapsulation in Distributed Systems : the Proxy Principle, pp.198-204, 1986.