References

1

Ö. Babaoglu, R. Davoli, L. A. Giachini, and M. G. Baker. Relacs: A communication infrastructure for constructing reliable applications in large-scale distributed systems. In Proc. of the 28th Hawaii Int. Conf. on System Sciences, pages 612-621. IEEE, January 1995.

2

Edoardo Biagioni. A structured TCP in Standard ML. Technical Report CMU-CS-FOX-94-05, Carnegie Mellon University, Pittsburgh, PA, 1994. Also appeared in SIGCOMM '94.

3

Kenneth P. Birman. A response to Cheriton and Skeen's criticism of causal and totally ordered communication. Operating Systems Review, 28(1):11-21, January 1994.

4

Kenneth P. Birman and Robbert van Renesse. Reliable Distributed Computing with the Isis Toolkit. IEEE Computer Society Press, Los Alamitos, CA, 1994.

5

David R. Cheriton and Dale Skeen. Understanding the limitations of causally and totally ordered communications. In Proc. of the Fourteenth ACM Symp. on Operating Systems Principles, Asheville, NC, December 1993. An earlier version appeared as Stanford CS Research Report STAN-CS-93-1485, Sept. 1993.

6

Alan Fekete. Formal models of communication services: A case study. Computer, 26(8):37-47, August 1993.

7

Michael J. Fischer, Nancy A. Lynch, and Michael S. Patterson. Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32(2):374-382, April 1985.

8

Dalia Malki, Ken Birman, Andre Schiper, and Aleta Ricciardi. Uniform Actions in Asynchronous Distributed Systems. In Proc. of the Fourteenth ACM Symp. on Principles of Distributed Computing, San Diego, CA, August 1994. ACM SIGOPS-SIGACT.

9

Shivakan Mishra, Larry L. Peterson, and Richard D. Schlichting. Experience with modularity in Consul. Software-Practice and Experience, 23(10):1050-1075, October 1993.

10

L. E. Moser, Y. Amir, P. M. Melliar-Smith, and D. A. Agarwal. Extended virtual synchrony. In Proc. of the Fourteenth Int. Conf. on Distributed Computing Systems, pages 56-65, Poznan, Poland, June 1994. IEEE.

11

Larry L. Peterson, Norm Hutchinson, Sean O'Malley, and Mark Abbott. RPC in the x-Kernel: Evaluating new design techniques. In Proc. of the Twelfth ACM Symp. on Operating Systems Principles, pages 91-101, Litchfield Park, AZ, November 1989.

12

Aleta Ricciardi, Andre Schiper, and Kenneth P. Birman. Understanding partitions and the ``no partition'' assumption. In Proc. of the Fourth IEEE Workshop on Future Trends of Distributed Systems, Lisboa, Portugal, September 1993.

13

Dennis M. Ritchie. A stream input-output system. Bell Laboratories Technical Journal, 63(8):1897-1910, 1984.

14

Robbert van Renesse. Causal controversy at Le Mont St.-Michel. Operating Systems Review, 27(2):44-53, April 1993.

15

Robbert van Renesse, Takako M. Hickey, and Kenneth P. Birman. Design and performance of Horus: A lightweight group communications system. Technical Report 94-1442, Cornell University, Dept. of Computer Science, August 1994.