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
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
? Structure and Encapsulation in Distributed Systems : the Proxy Principle, pp.198-204, 1986. ,