Reliable distributed systems: Technologies, Web services, and applications

Reliable Distributed Systems: Technologies, Web Services, and Applications

Volumn , Issue , 2005, Pages 1-668

  Birman, Kenneth P ^a  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84892217773     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/0-387-27601-7     Document Type: Book

References (506)

1. Abbott, M., and L. Peterson. Increasing Network Throughput by Integrating Protocol Layers. IEEE/ACM Transactions on Networking 1:5 (October 1993): 600-610.
2. Abraham, I., D. Malkhi. Probabilistic Quorums for Dynamic Systems. In the 17th International Symposium on Distributed Computing (DISC 2003), Sorento, Italy, October 2003.
3. Agarwal, D.A. Totem: A Reliable Ordered Delivery Protocol for Interconnected Local Area Networks. Ph.D. diss., Department of Electrical and Computer Engineering, University of California, Santa Barbara, 1994.
4. Aguilera, M.K., Strom, R.E., Sturman, D.C., Astley, M., Chandra, T.D. Matching Events in a Content-based Subscription System. 18th ACM Symposium on Principles of Distributed Computing (PODC), Atlanta, GA., 1999.
5. Ahamad, M., J. Burns, P. Hutto, and G. Neiger. Causal Memory. Technical Report, College of Computing, Georgia Institute of Technology, July 1991.
6. Alon, N., A. Barak, and U. Manber. On Disseminating Information Reliably without Broadcasting. Proceedings of the Seventh International Conference on Distributed Computing Systems (Berlin, September 1987). New York: IEEE Computer Society Press, 74-81.
7. Alonso, R., and F. Korth. Database Issues in Nomadic Computing. Proceedings of the ACM SIGMOD International Conference on Mannagement of Data (Washington, DC, May 1993), 388-392.
8. Alvisi, L., T. Bressoud, A. El-Khasab, K. Marzullo, D. Zagorodnov. Wrapping Server-Side to Mask Connection Failures. INFOCOMM 2001, Vol. 1, Anchorage, Alaska, 22-26 April 2001, 329-337.
9. Alvisi, L., D. Malkhi, E. Pierce, M. Reiter. Fault Detection for Byzantine Quorum Systems. IEEE Transactions on Parallel and Distributed Systems 12(9) (2001): 996-1007.
10. Alvisi, L., and K. Marzullo. Message Logging: Pessimistic, Causal, and Optimistic. Proceedings of the Fifteenth IEEE Conference on Distributed Computing Systems (Vancouver, 1995), 229-236.
11. Amir, O., Y. Amir, and D. Dolev. A Highly Available Application in the Transis Environment. Proceedings of theWorkshop on Hardware and Software Architectures for Fault Tolerance. Springer-Verlag Lecture Notes in Computer Science, Vol. 774, 125-139.
12. Amir, Y. Replication Using Group Communication over a Partitioned Network. Ph.D. diss., Hebrew University of Jerusalem, 1995.
13. Amir, Y., C. Danilov, J. Stanton. ALowLatency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication. International Conference on Dependable Systems and Networks (DCCA-8), New York, June 25-28, 2000.
14. Amir, Y., D. Dovel, S. Kramer, and D. Malkhi. Membership Algorithms in Broadcast Domains. Proceedings of the SixthWDAG(Israel, June 1992). Springer-Verlag Lecture Notes in Computer Science, Vol. 647, 292-312.
15. - Transis: A Communication Subsystem for High Availability. Proceedings of the Twenty-Second Symposium on Fault-Tolerant Computing Systems (Boston, July 1992). New York: IEEE Computer Society Press, 76-84.
16. Amir, Y. et al. The Totem Single-Ring Ordering and Membership Protocol. ACM Transactions on Computer Systems 13:4 (November 1995): 311-342.
17. Amir, Y., C. Nita-Rotaru, J. Stanton, G. Tsudik. Scaling Secure Group Communication: Beyond Peer-to-Peer Proceedings of DISCEX3 Washington DC, April 22-24, 2003.
18. Anceaume, E., B. Charron-Bost, P. Minet, and S. Toueg. On the Formal Specification of Group Membership Services. Technical Report 95-1534. Department of Computer Science, Cornell University, August 1995.
19. Andersen, D., H. Balakrishnan, M.F. Kaashoek, R. Morris. Resilient Overlay Networks. Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Schloss Elmau, Germany, May 2001.
20. Andersen, D., H. Balakrishnan, M.F. Kaashoek, R. Morris. Resilient Overlay Networks. Proceedings of the Symposium on Operating Systems Principles 17, Vancouver, CA, Oct. 2001, 131-145.
21. Anderson, T., B. Bershad, E. Lazowska, and H. Levy. Scheduler Activiations: Effective Kernel Support for the User-Level Management of Parallelism. Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles (Pacific Grove, CA, October 1991), 95-109.
22. Anderson, T. et al. Serverless Network File Systems. Proceedings of the Fifteenth Symposium on Operating Systems Principles (Copper Mountain Resort, CO, December 1995). New York: ACM Press, 109-126.
23. Also ACM Transactions on Computing Systems 13:1 (February 1996).
24. Andrews, G. R. Concurrent Programming: Principles and Practice. Redwood City, CA, Benjamin/Cummings, 1991.
25. Architecture Projects Management Limited. The Advanced Networked Systems Architecture: An Application Programmer's Introduction to the Architecture. Technical Report TR-017-00. November 1991.
26. - The Advanced Networked Systems Architecture: A System Designer's Introduction to the Architecture. Technical Report RC-253-00. April 1991.
27. - The Advanced Networked Systems Architecture: An Engineer's Introduction to the Architecture. Technical Report TR-03-02. November 1989.
28. Aron, M., P. Druschel Soft timers efficient microsecond software timer support for network processing. ACM Transactions on Computer Systems (TOCS) 18(3) (2000): 197-228.
29. Armand, F., M. Gien, F. Herrmann, and M. Rozier. Revolution 89, or Distributing UNIX Brings It Back to Its Original Virtues. Technical Report CS/TR-89-36-1. Chorus Systemes, Paris, France, August 1989.
30. Asplin, J., and D. Johansen. Performance Experiments with the StormView Distributed Parallel Volume Renderer. Computer Science Technical Report 95-22. University of Tromsö, June 1995.
31. Atkin, B. and K.P. Birman. Evaluation of an Adaptive Transport Protocol. ACMINFOCOM 2003, April 1-3 2003, San Francisco.
32. Babaoglu, O., A. Bartoli, and G. Dini. Enriched View Synchrony: A Paradigm for Programming Dependable Applications in Partitionable Asynchronous Distributed Systems. Technical Report. Department of Computer Science, University of Bologna, May 1996.
33. Babaoglu, O., R. Davoli, L. A. Giachini, and M.B. Baker. RELACS: A Communications Infrastructure for Constructing Reliable Applications in Large-Scale Distributed Systems. BROADCAST Project Deliverable Report, 1994. Department of Computing Science, University of Newcastle upon Tyne, United Kingdom.
34. Babaoglu, O., R. Davoli, and A. Montresor. Failure Detectors, Group Membership, and View-Synchronous Communication in Partitionable Asynchronous Systems. Technical Report UBLCS-95-19. Department of Computer Science, University of Bologna, November 1995.
35. Babaoglu, O., and K. Marzullo. Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms. In Distributed Systems (2d ed.), S.J. Mullender, ed. Reading, MA: Addison-Wesley/ACM Press, 1993.
36. Bache, T. C. et al. The Intelligent Monitoring System. Bulletin of the Seismological Society of America 80:6 (December 1990): 59-77.
37. Bailey, N. The Mathematical Theory of Epidemic Diseases, 2d ed. London, Charles Griffen and Company, 1975.
38. Baker, M. G. et al. Measurements of a Distributed File System. Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles (Orcas Island, WA, November 1991), 198-212.
39. Bal, H. E., M.F. Kaashoek, and A.S. Tanenbaum. Orca: A Language for Parallel Programming of Distributed Systems. IEEE Transactions on Software Engineering (March 1992), 190-205.
40. Balakrishnan, H., M.F. Kaashoek, D. Karger, R. Morris, I. Stoica: Looking up data in P2P systems. Communications of the ACM (CACM) 46(2) (2003): 43-48.
41. Bartlett, J., J. Gray, and B. Horst. Fault Tolerance in Tandem Computing Systems. In Evolution of Fault-Tolerant Computing. Springer-Verlag, 1987, 55-76.
42. Bartlett, J. F. A Nonstop Kernel. Proceedings of the Eighth ACM Symposium on Operating Systems Principles (Pacific Grove, CA, December 1981). New York: ACM Press, 22-29.
43. Bellovin, S. M., and M. Merritt. Limitations of the Kerberos Authentication System. Computer Communication Review 20:5 (October 1990): 119-132.
44. Ben-Or, M. Fast Asynchronous Byzantine Agreement. Proceedings of the Fourth ACM Symposium on Principles of Distributed Computing (Minaki, Canada, August 1985), 149-151.
45. Berners-Lee, T., C. J-F. Groff, and B. Pollermann. World Wide Web: The Information Universe. Electronic Networking Research, Applications andPolicy 2:1 (1992): 52-58.
46. Berners-Lee, T. et al. Hypertext Transfer Protocol - HTTP 1.0. IETF HTTP Working Group Draft 02 (Best Current Practice). August 1995.
47. - The World Wide Web. Communications of the ACM 37:8 (August 1994): 76-82.
48. Bernstein, P. E., V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Reading, MA: Addison-Wesley, 1987.
49. Bershad, B., T.Anderson, E. Lazowska, and H. Levy. Lightweight Remote Procedure Call. Proceedings of the Eleventh ACMSymposium on Operating Systems Principles (Litchfield Springs, AZ, December 1989), 102-113.
50. Also ACM Transactions on Computer Systems 8:1 (February 1990): 37-55.
51. Bershad, B. et al. Extensibility, Safety, and Performance in the SPIN Operating System. Proceedings of the Fifteenth Symposium on Operating Systems Principles (Copper Mountain Resort, CO, December 1995), 267-284.
52. Bhagwan, R., D. Moore, S. Savage, G.M. Voelker: Replication Strategies for Highly Available Peer-to-Peer Storage. Future Directions in Distributed Computing, Springer Verlag (2003): 153-158.
53. Bhide, A., E. N. Elnozahy, and S. P. Morgan. A Highly Available Network File Server. Proceedings of the USENIX Winter Conference (Austin, December 1991), 199-205.
54. Biagioni, E. A Structured TCP in Standard ML. Proceedings of the 1994 Symposium on Communications Architectures and Protocols (London, August 1994).
55. Biagioni, E., R. Harper, and P. Lee. Standard ML Signatures for a Protocol Stack. Technical Report CS-93-170. Department of Computer Science, Carnegie Mellon University, October 1993.
56. Birman, K.P. Building Secure and Reliable Network Applications. Manning Publishing Company and Prentice Hall, January 1997.
57. - A Review of Experiences with Reliable Multicast. Software Practice and Experience Vol. 29, No. 9, July 1999, 741-774.
58. - Next Generation Internet: Unsafe at Any Speed? IEEE Computer, Special Issue on Infrastructure Protection, Vol. 33, No. 8, August 2000, 54-88.
59. - A Response to Cheriton and Skeen's Criticism of Causal and Totally Ordered Communication. Operating Systems Review 28:1 (January 1994), 11-21.
60. - The Process Group Approach to Reliable Distributed Computing. Communications of the ACM 36:12 (December 1993).
61. Birman, K.P., R. Constable, M. Hayden, C. Kreitz, O. Rodeh, R. van Renesse, W. Vogels. The Horus and Ensemble Projects: Accomplishments and Limitations. Proc. of the DARPA Information Survivability Conference & Exposition (DISCEX '00), January 25-27 2000 in Hilton Head, South Carolina.
62. Birman, K.P., and B.B. Glade. Consistent Failure Reporting in Reliable Communications Systems. IEEE Software, Special Issue on Reliability, April 1995.
63. Birman, K.P., Mark Hayden, Oznur Ozkasap, Zhen Xiao, Mihai Budiu and Yaron Minsky. Bimodal Multicast. ACM Transactions on Computer Systems, Vol. 17, No. 2, May 1999, 41-88.
64. Birman, K.P., and T.A. Joseph. Exploiting Virtual Synchrony in Distributed Systems. Proceedings of the Eleventh Symposium on Operating Systems Principles (Austin, November 1987). New York: ACM Press, 123-138.
65. - Reliable Communication in the Presence of Failures. ACM Transactions on Computer Systems 5:1 (February 1987): 47-76.
66. Birman, K.P., D. Malkhi, A. Ricciardi, and A. Schiper. Uniform Action in Asynchronous Distributed Systems. Technical Report TR 94-1447. Department of Computer Science, Cornell University, 1994.
67. Birman, K.P., A. Schiper, and P. Stephenson. Lightweight Causal and Atomic Group Communication. ACM Transactions on Computing Systems 9:3 (August 1991): 272-314.
68. Birman, K.P., and R. van Renesse, eds. Reliable Distributed Computing with the Isis Toolkit. New York: IEEE Computer Society Press, 1994.
69. - Software for Reliable Networks. Scientific American 274:5 (May 1996): 64-69.
70. Birrell, A. Secure Communication Using Remote Procedure Calls. ACM Transactions on Computer Systems 3:1 (February 1985): 1-14.
71. Birrell, A., and B. Nelson. Implementing Remote Procedure Call. ACM Transactions on Programming Languages and Systems 2:1 (February 1984): 39-59.
72. Birrell, A., G. Nelson, S. Owicki, and T. Wobbera. Network Objects. Proceedings of the Fourteenth Symposium on Operating Systems Principles (Asheville, NC, 1993), 217-230.
73. Black, A., N. Hutchinson, E. Jul, and H. Levy. Object Structure in the Emerald System. ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Portland, OR, October 1986).
74. Borg, A., J. Baumbach, and S. Glazer. A Message System for Supporting Fault Tolerance. Proceedings of the Ninth Symposium on Operating Systems Principles (BrettonWoods, NH, October 1983), 90-99.
75. Borg, A. et al. Fault Tolerance under UNIX. ACM Transactions on Computer Systems 3:1 (Febraury 1985): 1-23.
76. Borr, A., and C. Wilhelmy. Highly Available Data Services for UNIX Client/Server Networks: Why Fault-Tolerant Hardware Isn't the Answer. Hardware and Software Architectures for Fault Tolerance, M. Banatre and P. Lee, eds. Springer-Verlag Lecture Notes in Computer Science, Vol. 774, 385-404.
77. Brakmo, L., S. O'Malley, and L. Peterson. TCP Vegas: New Techniques for Congestion Detection and Avoidance. Proceedings of the ACM SIGCOMM '94 (London, 1994).
78. Braun, T., and C. Diot. Protocol Implementation Using Integrated Layer Processing. Proceedings of SIGCOMM-95 (September 1995).
79. Bressoud, T. C., and F.B. Schneider. Hypervisor-based Fault Tolerance. Proceedings of the Fifteenth Symposium on Operating Systems Principles (Copper Mountain Resort, CO, December 1995). New York: ACM Press, 1-11.
80. Also ACM Transactions on Computing Systems 13:1 (February 1996).
81. Brockschmidt, K. Inside OLE-2. Redmond, WA, Microsoft Press, 1994.
82. Budhiraja, N. et al. The Primary-Backup Approach. In Distributed System, 2d ed., S.J. Mullender, ed. Reading, MA: Addison-Wesley/ACM Press, 1993.
83. Burrows, M., M. Abadi, and R. Needham. A Logic of Authentication. Proceedings of the Eleventh ACM Symposium on Operating Systems Principles (Litchfield Springs, AZ, December 1989). New York: ACM Press, 1-13.
84. Callahan, J., and T. Montgomery. Approaches to Verification and Validation of a Reliable Multicast Protocol. Proceedings of the 1996 ACM International Symposium on Software Testing and Analysis, (San Diego, CA, January 1996), 187-194.
85. Also appears as ACM Software Engineering Notes, Vol. 21, No. 3, May 1996, 187-194.
86. Carter, J. Efficient Distributed Shared Memory Based on Multi-Protocol Release Consistency. Ph.D. diss., Rice University, August 1993.
87. Carzaniga, A., Rosenblum, D., Wolf, A. Design and evaluation of a wide-area event notification service. ACM TOCS 19(3), Aug 2001.
88. Castro, M., P. Druschel, Y. C. Hu, A. Rowstron. Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks. Future Directions in Distributed Computing 2003, Springer-Verlag, 2003. 103-107.
89. Castro, M., B. Liskov: Practical Byzantine Fault Tolerance and Proactive Recovery. ACM Transactions on Computer Systems (TOCS) 20(4) (2002): 398-461.
90. Castro, M., R. Rodrigues, B. Liskov: BASE: Using abstraction to improve fault tolerance. TOCS 21(3) (2003): 236-269.
91. Chandra, R., V. Ramasubramanian, K.P. Birman. Anonymous Gossip: Improving Multicast Reliability in Ad-Hoc Networks. International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, April 2001.
92. Chandra, T., V. Hadzilacos, and S. Toueg. The Weakest Failure Detector for Solving Consensus. ACM Symposium on Principles of Distributed Computing (August 1992), 147-158.
93. Chandra, T., V. Hadzilacos, S. Toueg, and B. Charron-Bost. On the Impossiblity of Group Membership. Proceedings of the ACM Symposium on Priciples of Distributed Computing (Vancouver, May 1996).
94. Chandra, T., and S. Toueg. Time and Message Efficient Reliable Broadcasts. Technical Report TR 90-1094. Department of Computer Science, Cornell University, February 1990.
95. - Unreliable Failure Detectors for Asynchronous Systems. Journal of the ACM, in press.
96. Previous version in ACM Symposium on Principles of Distributed Computing (Montreal, 1991), 325-340.
97. Chandy, K. M., and L. Lamport. Distributed Snapshots: Determining Global States of Distributed Systems. ACM Transactions on Computer Systems 3:1 (February 1985): 63-75.
98. Chang, M., and N. Maxemchuk. Reliable Broadcast Protocols. ACM Transactions on Computer Systems 2:3 (August 1984): 251-273.
99. Charron-Bost, B. Concerning the Size of Logical Clocks in Distributed Systems. Information Processing Letters 39:1 (July 1991): 11-16.
100. Chase, J., H. Levy, M. Feeley, and E. Lazowska. Sharing and Protection in a Single-Address-Space Operating System. ACM Transactions on Computer Systems 12:4 (November 1994): 271-307.
101. Chaum, D. Untraceable Electronic Mail, Return Addresses, and Digital Pseudonyms. Communications of the ACM 24:2 (February 1981): 84-88.
102. Chen, P. et al. RAID: High Performance, Reliable, Secondary Storage. ACM Computing Surveys 26:2 (June 1994): 45-85.
103. Cheriton, D., and D. Skeen. Understanding the Limitations of Causally and Totally Ordered Communication. Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles (Asheville, NC, December 1993). New York: ACM Press, 44-57.
104. Cheriton, D., and W. Zwaenepoel. Distributed Process Groups in the V Kernel. ACM Transactions on Computer Systems 3:2 (May 1985): 77-107.
105. Chilaragee, R. Top Five Challenges Facing the Practice of Fault Tolerance. In Hardware and Software Architectures for Fault Tolerance, M. Banatre and P. Lee, eds. Springer-Verlag Lecture Notes in Computer Science, Vol. 774, 3-12.
106. Cho, K., and K.P. Birman. A Group Communication Approach for Mobile Computing. Technical Report TR94-1424. Department of Computer Science, Cornell University, May 1994.
107. Chockler, G., I. Keidar, R. Vitenberg. Group Communication Specifications: A Comprehensive Study. In ACM Computing Surveys 33(4), December 2001, 1-43.
108. Chockler, G. U., N. Huleihel, I. Keidar, and D. Dolev. Multimedia Multicast Transport Service for Groupware. TINA '96: The Convergence of Telecommunications and Distributed Computing Technologies (Heidelberg, September 1996). Berlin: VDE-Verlag.
109. Chockler, G., D. Malkhi, B. Merimovich, D. Rabinowitz. Aquarius: A Data-Centric approach to CORBA Fault-Tolerance. The workshop on Reliable and Secure Middle ware, in the 2003 International Conference on Distributed Objects and Applications (DOA), Sicily, Italy, November 2003.
110. Clark, D., V. Jacobson, J. Romkey, and H. Salwen. An Analysis of TCP Processing Overhead. IEEE Communications 27:6 (June 1989): 23-29.
111. Clark, D., and D. L. Tennenhouse. Architectural Considerations for a New Generation of Protocols. Proceedings of the 1990 Symposium on Communication Architectures and Protocols (Philadelphia, September 1990). New York: ACM Press, 200-208.
112. Clark, D., and M. Tennenhouse. Architectural Considerations for a New Generation of Protocols. Proceedings of SIGCOMM-87 (August 1987), 353-359.
113. Clegg, M., and K. Marzullo. Clock Synchronization in Hard Real-Time Distributed Systems. Technical Report. Department of Computer Science, University of California, San Diego, March 1996.
114. Coan, B., B. M. Oki, and E. K. Kolodner. Limitations on Database Availability When Networks Partition. Proceedings of the Fifth ACM Symposium on Principles of Distributed Computing (Calgary, August 1986), 187-194.
115. Coan, B., and G. Thomas. Agreeing on a Leader in Real Time. Proceedings of the Eleventh Real-Time Systems Symposium (December 1990), 166-172.
116. Comer, D., and J. Griffioen. A New Design for Distributed Systems: The Remote Memory Model. Proceedings of the 1990 Summer USENIX Conference (June 1990), 127-135.
117. Comer, D. E. Internetworking with TCP/IP. Vol. I: Principles, Protocols, and Architecture. Englewood Cliffs, NJ: Prentice Hall, 1991.
118. Comer, D. E., and D. L. Stevens. Internetworking with TCP/IP. Vol. III: Client/Server Programming and Applications. Englewood Cliffs, NJ: Prentice Hall, 1993.
119. - Internetworking with TCP/IP. Vol. II: Design, Implementation, and Internals. Englewood Cliffs, NJ: Prentice Hall, 1991.
120. Cooper, D. A., and K.P. Birman. The Design and Implementation of a Private Message Service for Mobile Computers. Wireless Networks 1:3 (October 1995): 297-309.
121. Cooper, E. Replicated Distributed Programs. Proceedings of the Tenth ACM Symposium on Operating Systems Principles (Orcas Island, WA, December 1985). New York: ACM Press, 63-78.
122. Cooper, R. Experience with Causally andTotally Ordered Group Communication Support-A Cautionary Tale. Operating Systems Review 28:1 (January 1994): 28-32.
123. Coulouris, G., J. Dollimore, and T. Kindberg. Distributed Systems: Concepts and Design. Reading, MA: Addison-Wesley, 1994.
124. Cristian, F. Synchronous and Asynchronous Group Communication. Communications of the ACM 39:4 (April 1996): 88-97.
125. - Reaching Agreement on Processor Group Membership in Synchronous Distributed Systems. Distributed Computing 4:4 (April 1991): 175-187.
126. - Understanding Fault-Tolerant Distributed Systems. Communications of the ACM 34:2 (February 1991): 57-78.
127. - Probabilistic Clock Synchronization. Distributed Computing 3:3 (1989): 146-158.
128. Cristian, F., H. Aghili, R. Strong, and D. Dolev. Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement. Proceedings of the Fifteenth International Symposium on Fault-Tolerant Computing (1985). New York: IEEE Computer Society Press, 200-206. Revised as IBM Technical Report RJ5244.
129. Cristian, F., and R. Delancy. Fault Tolerance in the Advanced Automation System. IBM Technical Report RJ7424. IBM Research Laboratories, San Jose, CA, April 1990.
130. Cristian, F., D. Dolev, R. Strong, and H. Aghili. Atomic Broadcast in a Real-Time Environment. In Fault-Tolerant Distributed Computing. Springer-Verlag Lecture Notes in Computer Science, Vol. 448, 1990, 51-71.
131. Cristian, F., and C. Fetzer. Fault-Tolerant Internal Clock Synchronization. Proceedings of the Thirteenth Symposium on Reliable Distributed Systems (October 1994).
132. Cristian, F., and F. Schmuck. Agreeing on Process Group Membership in Asynchronous Distributed Systems. Technical Report CSE95-428. Department of Computer Science and Engineering, University of California, San Diego, 1995.
133. Custer, H. Inside Windows NT. Redmond, WA: Microsoft Press, 1993.
134. Dabek, F., M.F. Kaashoek, D. Karger, R. Morris, and I. Stoica, Wide-area cooperative storage with CFS, ACM SOSP 2001, Banff, October 2001.
135. Damm, A., J. Reisinger, W. Schwabl, and H. Kopetz. The Real-Time Operating System of Mars. ACM Operating Systems Review 22:3 (July 1989): 141-157.
136. Davidson, S., H. Garcia-Molina, and D. Skeen. Consistency in a Partitioned Network: A Survey. ACM Computing Surveys 17:3 (September 1985): 341-370.
137. Deering, S.E. Host Extensions for IP Multicasting. Technical Report RFC 1112. SRI Network Information Center, August 1989.
138. - Multicast Routing in Internetworks and Extended LANs. Computer Communications Review 18:4 (August 1988): 55-64.
139. Deering, S.E., and D. R. Cheriton. Multicast Routing in Datagram Internetworks and Extended LANs. ACM Transactions on Computer Systems 8:2 (May 1990): 85-110.
140. Della Ferra, C.A. et al. The Zephyr Notification Service. Proceedings of the Winter USENIX Conference (December 1988).
141. Demers, A. et al. Epidemic Algorithms for Replicated Data Management. Proceedings of the Sixth Symposium on Principles of Distributed Computing, (Vancouver, August 1987): 1-12.
142. Also Operating Systems Review 22:1 (January 1988): 8-32.
143. Dempsey, B., J. C. Fenton, and A. C.Weaver. The MultiDriver: AReliable Multicast Service Using the Xpress Transfer Protocol. Proceedings of the Fifteenth Conference on Local Computer Networks (1990). New York: IEEE Computer Society Press, 351-358.
144. Denning, D. Digital Signatures with RSA and Other Public-Key Cryptosystems. Communications of the ACM 27:4 (April 1984): 388-392.
145. Denning, D., and D.A. Branstad. Taxonomy for Key Escrow Encryption Systems. Communications of the ACM 39:3 (March 1996): 34-40.
146. Desmedt, Y. Society and Group-Oriented Cryptography: A New Concept. Advances in Cryptology - CRYPTO '87 Proceedings. Springer-Verlag Lecture Notes in Computer Science, Vol. 293, 1988, 120-127.
147. Desmedt, Y., Y. Frankel, and M. Yung. Multi-Receiver/Multi-Sender Network Security: Efficient Authenticated Multicast/Feedback. Proceedings of the IEEE INFOCOM (May 1992).
148. Diffie, W. The First Ten Years of Public-Key Cryptography. Proceedings of the IEEE 76:5 (May 1988): 560-577.
149. Diffie, W., and M. E. Hellman. Privacy and Authentication: An Introduction to Cryptography. Proceedings of the IEEE 67:3 (March 1979): 397-427.
150. Digital Equipment Corporation. A Technical Description of the DECsafe Available Server Environment (ASE). Digital Equipment Corporation Technical Journal 7:4 (September 1995): 89-100.
151. Dolev, D., and D. Malkhi. The Transis Approach to High Availability Cluster Communication. Communications of the ACM 39:4 (April 1996): 64-70.
152. Dolev, D., D. Malkhi, and R. Strong. A Framework for Partitionable Membership Service. Technical Report TR 95-4. Institute of Computer Science, Hebrew University of Jerusalem, March 1995.
153. Drushel, P., and L.L. Peterson. Fbufs: A High-Bandwidth Cross-Domain Transfer Facility. Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles (Pacific Grove, CA, December 1993). New York: ACM Press, 189-202.
154. Elnozahy, E. N., and W. Zwaenepoel. Manetho: Transparent Rollback-Recovery with Low Overhead, Limited Rollback, and Fast Output Control. IEEE Transactions on Computers, Special Issue on Fault-Tolerant Computing, May 1992.
155. Ekwall, R, Urbän, P, and Schiper, A. Robust TCP Connections for Fault Tolerant Computing Proceedings of the 9th International Conference on Parallel and Distributed Systems (ICPDS), Dec. 2002, Taiwan ROC.
156. Engler, D. R., M.F. Kaashoek, and J. O'Toole. Exokernel: An Operating System Architecture for Application-Level Resource Management. Proceedings of the Fifteenth Symposium on Operating Systems Principles (Copper Mountain Resort, CO, December 1995). New York: ACM Press, 251-266.
157. Ezhilhevan, P., R. Macedo, and S. Shrivastava. Newtop: A Fault-Tolerant Group Communication Protocol. Proceedings of the Fifteenth International Conference on Distributed Systems (Vancouver, May 1995).
158. Feeley, M. et al. Implementing Global Memory Management in a Workstation Cluster. Proceedings of the Fifteenth ACM SIGOPS Symposium on Operating Systems Principles (Copper Mountain Resort, CO, December 1995), 201-212.
159. Felton, E., and J. Zahorjan. Issues in the Implementation of a Remote Memory Paging System. Technical Report 91-03-09. Department of Computer Science and Engineering, University of Washington, March 1991.
160. Fekete, A., N. Lynch, A. Shvartsman. Specifying and using a partitionable group communication service. ACM Transactions on Computer Systems 19(2) (2001): 171-216.
161. Fidge, C. Timestamps in Message-Passing Systems That Preserve the Partial Ordering. Proceedings of the Eleventh Australian Computer Science Conference (1988).
162. Fisher, M. J., N. A. Lynch, and M. Merritt. Easy Impossibility Proofs for Distributed Consensus Problems. Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing (Minaki, Canada, August 1985). New York: ACM Press.
163. Fisher, M. J., N. A. Lynch, and M. S. Paterson. Impossibility of Distributed Computing with One Faulty Process. Journal of the ACM 32:2 (April 1985): 374-382.
164. Floyd, S., V. Jacobson, S. McCanne, C-G. Liu, and L. Zhang. A Reliable Multicast Framework for Lightweight Sessions and Application-Level Framing. Proceedings of the '95 Symposium on Communication Architectures and Protocols (Cambridge, MA, August 1995). New York: ACM Press.
165. Frank, A., L. Wittie, and A. Bernstein. Multicast Communication on Network Computers. IEEE Software (May 1985).
166. Frankel, Y. A Practical Protocol for Large Group-Oriented Networks. Advances in Cryptology - EUROCRYPT '89. Springer-Verlag Lecture Notes in Computer Science, Vol. 434, 56-61.
167. Frankel, Y., and Y. Desmedt. Distributed Reliable Threshold Multisignature. Technical Report TR-92-0402. Department of EECS, University ofWisconsin, Milwaukee, June 1992.
168. Friedman, R., and K.P. Birman. Using Group Communication Technology to Implement a Reliable and Scalable Distributed IN Coprocessor. TINA '96: The Convergence of Telecommunications and Distributed Computing Technologies (Heidelberg, September 1996), 25-42. Berlin: VDE-Verlag.
169. Also Technical Report. Department of Computer Science, Cornell University, March 1996.
170. Friedman, R., I. Keider, D. Malkhi, K.P. Birman, and D. Dolev. Deciding in Partitionable Networks. Technical Report 95-1554. Department of Computer Science, Cornell University, October 1995.
171. Friedman, R., and R. van Renesse. Strong and Weak Virtual Synchrony in Horus. Technical Report 95-1537. Department of Computer Science, Cornell University, August 1995.
172. - Packing Messages as a Tool for Boosting the Performance of Total Ordering Protocols. Technical Report 95-1527. Department of Computer Science, Cornell University, July 1995. Submitted to IEEE Transactions on Networking.
173. Ganger, G., McKusick, M., Soules, C. and Patt, Y. Soft Updates: A Solution to the Metadata Update problem in File Systems. ACM Transactions on Computer Systems, Vol. 18, Num. 2, Pg. 127-153. May 2000.
174. Garcia-Molina, H., and A. Spauster. Ordered and Reliable Multicast Communication. ACM Transactions on Computer Systems 9:3 (August 1991): 242-271.
175. Geist, G. A. et al. PVM: A User's Guide and Tutorial for Networked Parallel Computing. Cambridge, MA: MIT Press, 1994.
176. Gharachorloo, K. et al. Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors. Proceedings of the Seventeenth Annual International Symposium on Computer Architecture (Seattle, May 1990), 15-26.
177. Ghemawat, S; Gobioff, H; and Leung, S.T. File and storage systems: The Google file system. 19th ACM Symposium on Operating Systems Principles (SOSP), Bolton Landing, NY. October 2003.
178. Gibbs, B. W. Software's Chronic Crisis. Scientific American, September 1994.
179. Gifford, D. Weighted Voting for Replicated Data. Proceedings of the Seventh ACM Symposium on Operating Systems Principles (Pacific Grove, CA, December 1979). New York: ACM Press, 150-162.
180. Glade, B.B.AScalable Architecture for Reliable Publish/Subscribe Communication in Distributed Systems. Ph. D. diss., Department of Computer Science, Cornell University, May 1996.
181. Glade, B.B., K.P. Birman, R.C. Cooper, and R. van Renesse. Lightweight Process Groups in the Isis System. Distributed Systems Engineering Journal, July 1993.
182. Gleeson, B. Fault-Tolerant Computer System with Provision for Handling External Events. U.S. Patent 5, 363, 503, November 1994.
183. Golding, R., and K. Taylor. Group Membership in the Epidemic Style. Technical Report UCSC-CRL-92-13. University of California, Santa Cruz, May 1992.
184. Golding, R.A. Weak Consistency Group Communication and Membership. Ph.D. diss., Computer and Information Sciences Department, University of California, Santa Cruz, 1992.
185. - Distributed Epidemic Algorithms for Replicated Tuple Spaces. Technical Report HPLCSP- 91-15. June 1991. Concurrent systems project, Hewlett-Packard Laboratories.
186. Gong, L. Securely Replicating Authentication Services. Proceedings of the Ninth International Conference on Distributed Computing Systems (August 1989), 85-91.
187. Gopal, A., R. Strong, S. Toueg, and F. Cristian. Early-Delivery Atomic Broadcast. Proceedings of the Ninth ACM Symposium on Principles of Distributed Computing (Toronto, August 1990). New York: ACM Press, 297-309.
188. Gosling, J., and H. McGilton. The Java Language Environment: A White Paper. Sun Microsystems, Inc., October 1995a. Available as http://java.sun.com/ langEnv/index.html.
189. - The Java Programmer's Guide: A White Paper. Sun Microsystems, Inc. October 1995b. Available as http://java.sun.com/progGuide/index.html.
190. Govindran, R., and D.P. Anderson. Scheduling and IPC Mechanisms for Continuous Media. Proceedings of the Twelfth ACM Symposium on Operating Systems Principles (Asilomar, CA, October 1991). New York: ACM Press, 68-80.
191. Gray, J. High Availability Computer Systems. IEEE Computer, September 1991.
192. - A Census of Tandem System Availability between 1985 and 1990. Technical Report 90.1. Tandem Computer Corporation, September 1990.
193. - Notes on Database Operating Systems. Operating Systems: An Advanced Course. Springer-Verlag Lecture Notes in Computer Science, Vol. 60, 1978, 393-481.
194. Gray, J., J. Bartlett, and R. Horst. Fault Tolerance in Tandem Computer Systems. The Evolution of Fault-Tolerant Computing, A. Avizienis, H. Kopetz, and J. C. Laprie, eds. Springer-Verlag, 1987.
195. Gray, J., Helland, P., and Shasha, D. Dangers of Replication and a Solution. ACM SIGMOD International Conference on Management of Data. Montreal, Quebec, Canada. June, 1996.
196. Gray, J., and A. Reuter. Transaction Processing: Concepts and Techniques. San Mateo, CA: Morgan Kaufmann, 1993.
197. Gribble, S., et. al. The Ninja architecture for robust Internet-scale systems and services. Computer Networks 35(4) (2001): 473-497.
198. Guerraoui, R. Revisiting the Relationship between Nonblocking Atomic Commitment and Consensus. International Workshop on Distributed Algorithms (September 1995), 87-100.
199. Guerraoui, R., and A. Schiper. Gamma-Accurate Failure Detectors. Technical Report APFL. Lausanne, Switzerland: Départment d'Informatique, 1996.
200. Gupta, I., A.M. Kermarrec, A.J. Ganesh. Efficient Epidemic-Style Protocols for Reliable and Scalable Multicast. Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 02), Osaka, Japan. October 2002. pp. 180-189.
201. Gupta, I., K.P. Birman, P. Linga, A. Demers, R. van Renesse. Kelips: Building an Efficient and Stable P2P DHT Through Increased Memory and Background Overhead. Proc. 2nd International Workshop on Peer-to-Peer Systems (IPTPS '03), Oakland CA, 2003.
202. Gurwitz, R.F., M. Dean, and R. E. Schantz. Programming Support in the Chronus Distributed Operating System. Proceedings of the Sixth International Conference on Distributed Computing Systems (1986). New York: IEEE Computer Society Press, 486-493.
203. Hagmann, R. Reimplementing the Cedar File System Using Logging and Group Commit. Proceedings of the Eleventh ACM Symposium on Operating Systems Principles (Austin, November 1987). New York: ACM Press, 155-171.
204. Handel, R., H. Huber, and S. Schroder. ATM Networks: Concepts, Protocols, Applications. Reading, MA: Addison-Wesley, 1994.
205. Harper, R., and P. Lee. The Fox Project in 1994. Technical Report CS-94-01. Department of Computer Science, Carnegie Mellon University, 1994.
206. Hartman, J.H., and J.K. Ousterhout. The Zebra Striped Network File System. Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles (Asheville, NC, December 1993). New York: ACM Press, 29-43.
207. Hayden, M., and K.P. Birman. Achieving Critical Reliability with Unreliable Components and Unreliable Glue. Technical Report TR95-1493. Department of Computer Science, Cornell University, March 1995. (This paper was subsequently substantially revised; a new version was released in September 1996.)
208. Heidemann, J., and G. Popek. Performance of Cache Coherence in Stackable Filing. Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles (Copper Mountain Resort, CO, December 1995), 127-142.
209. - File System Development with Stackable Layers. Communications of the ACM 12:1 (February 1994): 58-89.
210. Heinlein, J., K. Garachorloo, S. Dresser, and A. Gupta. Integration of Message Passing and Shared Memory in the Stanford FLASH Multiprocessor. Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (October 1994), 38-50.
211. Herlihy, M. Replication Methods for Abstract Data Types. Ph.D. diss., Massachusetts Institute of Technology, May 1984. Available as Technical Report LCS-84-319.
212. Herlihy, M., and J.Wing. Linearizability: A Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems 12:3 (July 1990): 463-492.
213. Herlihy, M.P., and J.D. Tygar. How to Make Replicated Data Secure. Advances in Cryptography - CRYPTO '87 Proceedings. Springer-Verlag Lecture Notes in Computer Science, Vol. 293, 379-391.
214. Hildebrand, D. An Architectural Overview of QNX. Proceedings of the First USENIX Workshop on Microkernels and Other Kernel Architectures (Seattle, April 1992), 113-126.
215. Holliday, J., D. Agrawal, A. El Abbadi. The Performance of Database Replication with Group Multicast. FTCS 1999: 158-165.
216. Holliday, J., D. Agrawal, A. El Abbadi. Partial Database Replication using Epidemic Communication. ICDCS 2002: 485.
217. Howard, J. et al. Scale and Performance in a Distributed File System. Proceedings of the Eleventh ACM Symposium on Operating Systems Principles (Austin, November 1987). New York: ACM Press.
218. Also ACM Transactions on Computing Systems 5:1 (February 1988).
219. Hunt, G.D. Multicast Flow Control on Local Area Networks. Ph.D. diss., Department of Computer Science, Cornell University, February 1995.
220. Also available as Technical Report TR-95-1479. Internet Engineering Task Force. Secure Sockets Layer, Version 3.0. 1995.
221. Iona Ltd. Information about Object Transaction Services for Orbix. 1995. Available at info@iona.ie.
222. Iona Ltd. and Isis Distributed Systems, Inc. An Introduction to Orbix+Isis. 1995. Available at info@iona.ie.
223. Iyer, S., A. Rowstron, P. Druschel. Squirrel: a decentralized peer-to-peer web cache. Principles of Distributed Computing (PODC) 2002: 213-222
224. Jacobson, V. Compressing TCP/IP Headers for Low-Speed Serial Links. Technical Report RFC 114. Network Working Group, February 1990.
225. - Congestion Avoidance and Control. Proceedings of the ACM SIGCOMM '88 (Palo Alto, 1988).
226. Jalote, P. Fault Tolerance in Distributed Systems. Englewood Cliffs, NJ: Prentice Hall, 1994.
227. Jannotti, J., Gifford, D., Johnson, K., Kaashoek, F., O'Toole, J. Overcast: Reliable Multicasting with an Overlay Network, 4th Symposium on Operating System Design & Implementation (OSDI). San Diego, CA. October, 2000.
228. Johansen, D. StormCast: Yet Another Exercise in Distributed Computing. In Distributed Open Systems inPerspective, D. Johansen and Brazier, eds. NewYork: IEEE Computer Society Press, 1994.
229. Johansen, D., and G. Hartvigsen. Architecture Issues in the StormCast System. Springer- Verlag Lecture Notes in Computer Science, Vol. 938, 1-16.
230. Johansen, D., R. van Renesse, and F. Schneider. Supporting Broad Internet Access to TACOMA. Technical Report. February 1996.
231. - An Introduction to the TACOMADistributed System (Version 1.0). Computer Science Technical Report 95-23. University of Tromsö June 1995.
232. - Operating System Support for Mobile Agents. Proceedings of the Fifth Workshop on Hot Topics in Operating Systems (Orcas Island, WA, May 1995). New York: IEEE Computer Society Press, 42-45.
233. Johnson, D.B., and W. Zwaenepoel. Sender-Based Message Logging. Proceedings of the Seventeenth Annual International Symposium on Fault-Tolerant Computing (June 1987). New York: IEEE Computer Society Press, 14-19.
234. Johnson, K., M.F. Kaashoek, and D. Wallach. CRL: High-Performance All Software Distributed Shared Memory. Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles (Copper Mountain Resort, CO, December 1995), 213-228.
235. Jones, M.B. Interposition Agents: Transparent Interposing User Code at the System Interface. Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles (Asheville, NC, December 1993). New York: ACM Press, 80-93.
236. Joseph, A., deLespinasse, A., Tauber, J., Gifford, D. and Kaashoek, F.K. Rover: A Toolkit for Mobile Information Access. 15th ACM Symposium on Operating Systems (SOSP). Copper Mountain, CO. December 1995.
237. Joseph, T.A. Low Cost Management of Replicated Data. Ph.D. diss., Cornell University, 1986.
238. Also Technical Report. Department of Computer Science, Cornell University.
239. Joseph, T.A., and K.P. Birman. LowCost Management of Replicated Data in Fault-Tolerant Distributed Systems. ACM Transactions on Computer Systems 4:1 (February 1986): 54-70.
240. Kaashoek, F. Group Communication in Distributed Computer Systems. Ph.D. diss., Vrije Universiteit, 1992.
241. Kaashoek, M.F., and A.S. Tannenbaum. Group Communication in the Amoeba Distributed Operating System. Proceedings of the Eleventh International Conference on Distributed Computing Systems. New York: IEEE Computer Society Press, 222-230.
242. Kaashoek, M.F. et al. An Efficient Reliable Broadcast Protocol. Operating Systems Review 23:4 (July 1978): 5-19.
243. Kalantar, M. Issues in Ordered Multicast Performance: A Simulation Study. Ph.D. diss., Department of Computer Science, Cornell University, August 1995.
244. Also Technical Report TR-95-1531.
245. Karamcheti, V., and A.A. Chien. Software Overhead in Messaging Layers: Where Does the Time Go? Proceedings of the Sixth ACM Symposium on Principles of Programming Languages and Operating Systems (San Jose, CA, October 1994). New York: ACM Press.
246. Kay, J., and J. Pasquale. The Importance of Nondata Touching Processing Overheads. Proceedings of SIGCOMM-93 (August 1993), 259-269.
247. Kay, J.S. PathIDs: A Mechanism for Reducing Network Software Latency. Ph.D. diss., University of California, San Diego, May 1994.
248. Keidar, I. Challenges in Evaluating Distributed Algorithms. In Future Directions in Distributed Computing, Lecture Notes in Computer Science, Vol. 2584, 40-44.
249. Keidar, I., and D. Dolev. Increasing the Resilience of Atomic Commit at No Additional Cost. Proceedings of the 1995 ACM Symposium on Principles of Database Systems (May 1995), 245-254.
250. Keidar, I., and D. Dolev. Totally Ordered Broadcast in the Face of Network Partitions. Exploiting Group Communication for Replication in Partitionable Networks. Chapter 3 of Dependable Network Computing, pages 51-75, D. Avresky Editor, Kluwer Academic Publications. January, 2000.
251. Keidar, I., R. Khazan. A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach. In SIAM Journal on Computing (SICOMP) 32(1) November 2002, 78-130.
252. Keidar, I., R. Khazan, N.Lynch, A. Shvartsman. Aninheritance-based technique for building simulation proofs incrementally. TOSEM 11(1) (2002): 63-91.
253. Keidar, I, K. Marzullo. The Need for Realistic Failure Models in Protocol Design. Position paper in the 4th Information Survivability Workshop (ISW) 2001/2002, Vancouver, Canada, March 2002.
254. Keidar, I., J. Sussman, K. Marzullo, D. Dolev. Moshe: A Group Membership Service for WANs. In ACM Transactions on Computer Systems (TOCS) 20(3) 2002, August 1-48.
255. Keleher, P., A.L. Cox, and W. Zwaenepoel. Lazy Release Consistency for Software Distributed Shared Memory. Proceedings of the Nineteenth Annual International Symposium on Computer Architecture (May 1992), 13-21.
256. Kermarrec, A.M., A. Rowstron, M. Shapiro, P. Druschel. The IceCube approach to the reconciliation of divergent replicas. Principles of Distributed Computing 2001: 210-218.
257. Keshav, S. An Engineering Approach to Computer Networking. AddisonWesley, New York 1997 (ISBN 0201634422).
258. Khalidi, Y.A. et al. Solaris MC: A Multicomputer OS. Technical Report 95-48. Sun Microsystems Laboratories, November 1995.
259. Kistler, J.J., and M. Satyanarayanan. Disconnected Operation in the Coda File System. Proceedings of the Twelfth ACM Symposium on Operating Systems Principles (Asilomar, CA, October 1991). New York: ACM Press, 213-225.
260. Also ACM Transactions on Computing Systems 10:1 (February 1992): 3-25.
261. Koo, R., and S. Toueg. Checkpointing and Rollback Recovery for Distributed Systems. IEEE Transactions on Software Engineering SE-13:1 (January 1990): 23-31.
262. Kopetz, H. Sparse Time versus Dense Time in Distributed Systems. Proceedings of the Twelfth International Conference on Distributed Computing Systems (Yokohama, June 1992). New York: IEEE Computer Society Press.
263. Kopetz, H., and W. Ochsenreiter. Clock Synchronization in Distributed Real-Time Systems. IEEE Transactions on Computers C36:8 (August 1987): 933-940.
264. Kopetz, H., and P.Verissimo. Real-Time Dependability Concepts. In Distributed Systems, 2d ed., S.J. Mullender, ed. Reading, MA: Addison-Wesley/ACM Press, 1993, 411-446.
265. Kronenberg, N., H. Levy, and W. Strecker. VAXClusters: A Closely-Coupled Distributed System. Proceedings of the Tenth ACM Symposium on Operating Systems Principles (Orcas Island, WA, December 1985).
266. Also ACM Transactions on Computer Systems 4:2 (May 1986): 130-146.
267. Krumvieda, C. Expressing Fault-Tolerant and Consistency Preserving Programs in Distributed ML. Proceedings of the ACM SIGPLAN Workshop on ML and it Applications (June 1992), 157-162.
268. - DML: Packaging High-Level Distributed Abstractions in SML. Proceedings of the Third International Workshop on Standard ML (Pittsburgh, September 1991). New York: IEEE Computer Society Press.
269. Kubiatowicz, J. Extracting guarantees from chaos. Communications of the ACM 46(2) (2003): 33-38.
270. Kubiatowicz, J. et. al.: OceanStore: An Architecture for Global-Scale Persistent Storage. Proceedings of Architectural Support for Progamming Languages and Systems (ASPLOS) 2000, 190-201.
271. Kubiatowicz, J., D. Bindel, Y. Chen, S. Czerwinski, P. Eaton, D. Geels, R. Gummadi, S. Rhea, H. Weatherspoon, W. Weimer, C. Wells, B. Zhao. OceanStore: An Architecture for Global-Scale Persistent Storage. Proceedings ofACMASPLOS, 2000.
272. Ladin, R., B. Liskov, L. Shrira, and S. Ghemawat. Providing Availability Using Lazy Replication. ACM Transactions on Computer Systems 10:4 (November 1992): 360-391.
273. - Lazy Replication: Exploiting the Semantics of Distributed Services. Proceedings of the Tenth ACM Symposium on Principles of Distributed Computing (Quebec, August 1990). New York: ACM Press, 43-58.
274. Laih, C.S. and L. Harn. Generalized Threshold Cryptosystems. Proceedings of ASIACRYPT '91 (1991).
275. Lamport, L. Using Time Instead of Timeout for Fault-Tolerant Distributed Systems. ACM Transactions on Programming Languages and Systems 6:2 (April 1984): 254-280.
276. - Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM 21:7 (July 1978): 558-565.
277. - The Implementation of Reliable Distributed Multiprocess Systems. Computing Networks 2 (March 1978): 95-114.
278. - Paxos made simple. Distributed Computing Column of ACMSIGACT News, 32(4):51-58, December 2001.
279. Lamport, L. and P.M. Melliar-Smith. Synchronizing Clocks in the Presence of Faults. Journal of the ACM 32:1 (January 1985): 52-78.
280. Lampson, B. Hints for Computer System Design. Proceedings of the Ninth Symposium on Operating Systems Principles (Bretton Woods, NH, October 1993), 33-48.
281. - Designing a Global Name Service. Paper presented at the 1985 ACM PODC.
282. Also Proceedings of the Sixth ACM Symposium on Principles of Distributed Computing (Calgary, 1986), 1-10.
283. Lampson, B., M. Abadi, M. Burrows, and E.Wobber. Authentication in Distributed Systems: Theory and Practice. ACM Transactions on Computer Systems 10:4 (November 1992): 265-434.
284. Leffler, S.J. et al. 4.3 BSD UNIX Operating System. Reading, MA: Addison-Wesley, 1989.
285. Lenoski, D. et al. The StanfordDASHMultiprocessor. Computer 25:3 (March 1992): 63-79.
286. Leroy, X. The Caml Light System, Release 0.7. France: INRIA July 1993.
287. Li, K., and P. Hudak. Memory Coherence in a Shared Virtual Memory System. ACM Transactions on Computer Systems 7:4 (November 1989): 321-359.
288. Lin, M.J., K. Marzullo, S. Massini. Gossip versus deterministically constrained flooding on small networks. In 14th International Conference on Distributed Computing (DISC 2000), Toledo, Spain, 4-6 Oct. 2000), pp. 253-267.
289. Liskov, B. Practical Uses of Synchronized Clocks in Distributed Systems. Distributed Computing 6:4 (November 1993): 211-219.
290. Liskov, B., D. Curtis, P. Johnson, and R. Scheifler. Implementation of Argus. Proceedings of the Eleventh ACM Symposium on Operating Systems Principles (Austin, November 1987). New York: ACM Press, 111-122.
291. Liskov, B., M. Day, L. Shrira. Distributed Object Management in Thor. Proceedings of the International Workshop on Distributed Object Management, Edmonton, CA (1992), 79-91.
292. Liskov, B., and R. Ladin. Highly Available Distributed Services and Fault-Tolerant Garbage Collection. Proceedings of the Fifth ACM Symposium on Principles of Distributed Computing (Calgary, August 1986). New York: ACM Press, 29-39.
293. Liskov, B., and R. Scheifler. Guardians and Actions: Linguist Support for Robust, Distributed Programs. ACM Transactions on Programming Languages and Systems 5:3 (July 1983): 381-404.
294. Liskov, B. et al. Replication in the Harp File System. Proceedings of the Twelfth ACM Symposium on Operating Systems Principles (Asilomar, CA, October 1991). New York: ACM Press, 226-238.
295. Liu, X., C. Kreitz, R. van Renesse, J. Hickey, M. Hayden, K.P. Birman, and R. Constable. Building Reliable, High-Performance Communication Systems from Components. Proc. of the 17th ACM Symposium on Operating System Principles, Kiawah Island Resort, SC, December 1999.
296. Liu, X. Evaluation of the Virtual Interface Architecture (VIA). Tech Report. UCSD, June 1998.
297. Lynch, N. Distributed Algorithms. San Mateo, CA: Morgan Kaufmann, 1996.
298. Lynch, N., A. Shvartsman. Communication and Data Sharing for Dynamic Distributed Systems. Future Directions in Distributed Computing, Springer-Verlag (2003): 62-67.
299. Lyu, M. R., ed. Software Fault Tolerance. New York: John Wiley & Sons, 1995.
300. Macedo, R.A., P. Ezhilchlvan, and S. Shrivastava. Newtop: ATotal Order Multicast Protocol Using Causal Blocks. BROADCAST Project Technical Reports, vol. I. Department of Computer Science, University of Newcastle upon Tyne, October 1993.
301. Maffeis, S. Adding Group Communication and Fault Tolerance to CORBA. Proceedings of the 1995 USENIX Conference on Object-Oriented Technologies. (Monterey, CA, June 1995).
302. Makpangou, M., and K.P. Birman. Designing Application Software in Wide Area Network Settings. Technical Report 90-1165. Department of Computer Science, Cornell University, 1990.
303. Malkhi, D. Multicast Communication for High Availability. Ph.D. diss., Hebrew University of Jerusalem, 1994.
304. Malkhi, D., K.P. Birman, A. Ricciardi, and A. Schiper. Uniform Actions in Asynchronous Distributed Systems. Technical Report TR 94-1447. Department of Computer Science, Cornell University, September 1994.
305. Malkhi, D., M. Reiter, A. Wool and R. Wright. Probabilistic Quorum Systems. The Information and Computation Journal 170(2), November 2001.
306. Malkhi, D., M.K. Reiter: Byzantine Quorum Systems. Distributed Computing 11(4) (1998): 203-213.
307. - An Architecture for Survivable Coordination in Large Distributed Systems. IEEE Transactions on Knowledge and Data Engineering, 12(2) April 2000: 187-202.
308. Malkhi, D., M.K. Reiter, D. Tulone, and E. Ziskind. Persistent objects in the Fleet system. In Proceedings of the 2nd DARPA Information Survivability Conference and Exposition (DISCEX II), Vol. II, June 2001, 126-136.
309. Malloth, C. Conception and Implementation of a Toolkit for Building Fault-Tolerant Distributed Applications in Large-Scale Networks. Ph.D. diss., Swiss Federal Institute of Technology, Lausanne (EPFL), 1996.
310. Malloth, C. P., P. Felher, A. Schiper, and U. Wilhelm. Phoenix: A Toolkit for Building Fault-Tolerant Distributed Applications in Large-Scale Networks. Proceedings of the Workshop on Parallel and Distributed Platforms in Industrial Products (held during the Seventh IEEE Symposium on Parallel and Distributed Processing) (San Antonio, TX, October 1995). New York: IEEE Computer Society Press.
311. Marzullo, K. Tolerating Failures of Continuous Valued Sensors. ACM Transactions on Computer Systems 8:4 (November 1990): 284-304.
312. - Maintaining the Time in a Distributed System. Ph.D. diss., Department of Electrical Engineering, Stanford University, June 1984.
313. Marzullo, K., R. Cooper, M. Wood, and K.P. Birman. Tools for Distributed Application Management. IEEE Computer, August 1991.
314. Marzullo, K., and M.Wood. Tools for Constructing Distributed Reactive Systems. Technical Report TR91-1193. Department of Computer Science, Cornell University, February 1991.
315. Marzullo, K., M.Wood, K.P. Birman, and R. Cooper. Tools for Monitoring and Controlling Distributed Applications. Spring 1991 Conference Proceedings (Bologna, Italy, May 1991).
316. EurOpen, 185-196. Revised and extended as IEEE Computer 24:8 (August 1991): 42-51.
317. Mattern, F. Time and Global States in Distributed Systems. Proceedings of the International Workshop on Parallel and Distributed Algorithms. Amsterdam: North-Holland, 1989.
318. McKusick, M.K, Joy, W., Leffler, S., and Fabry, R.S. A Fast File System for UNIX. Computer Systems, Vol. 2, Num. 3, Aug 1984, 181-197.
319. Meldal, S., S. Sankar, and J. Vera. Exploiting Locality in Maintaining Potential Causality. Proceedings of the Tenth Symposium on Principles of Distributed Computing (Montreal, August 1991), 231-239.
320. Melliar-Smith, P.M., and L.E. Moser. Trans: A Reliable Broadcast Protocol. IEEE Transactions on Communications 140:6 (December 1993): 481-493.
321. - Fault-Tolerant Distributed Systems Based on Broadcast Communication. Proceedings of the Ninth International Conference on Distributed Computing Systems (June 1989), 129-133.
322. Melliar-Smith, P.M., L.E. Moser and V. Agrawala. Membership Algorithms for Asynchronous Distributed Systems. Proceedings of the IEEE Eleventh ICDCS (May 1991), 480-488.
323. - Broadcast Protocols for Distributed Systems. IEEE Transactions on Parallel and Distributed Systems 1:1 (January 1990): 17-25.
324. Milner, R., M. Tofte, and R. Harper. The Definition of Standard ML. Cambridge, MA: MIT Press, 1990.
325. Mishra, S., L.L. Peterson and R.D. Schlichting. Experience with Modularity in Consul. Software - Practice and Experience 23:10 (October 1993): 1050-1075.
326. - AMembership Protocol Based on Partial Order. Proceedings of the IEEE International Working Conference on Dependable Computing for Critical Applications (February 1991), 137-145.
327. Mogul, J., R. Rashid, and M. Accetta. The Packet Filter: An Efficient Mechanism for User- Level Network Code. Proceedings of the Eleventh ACM Symposium on Operating Systems Principles (Austin, November 1987). New York: ACM Press, 39-51.
328. Montgomery, T. Design, Implementation, and Verification of the Reliable Multicast Protocol. Master's thesis, Department of Electrical and Computer Engineering, West Virginia University, December 1994.
329. Montgomery, T., and B. Whetten. The Reliable Multicast Protocol Application Programming Interface. Technical Report NASA-IVV-94-007. NASA/WVU Software Research Laboratory, August 1994.
330. Morris, R. Scalable TCP Congestion Control. Proceedings of INFOCOM 2000, 1176-1183.
331. Moser, L.E., Y. Amir, P.M. Melliar-Smith and D.A. Agarwal. Extended Virtual Synchrony. Proceedings of the Fourteenth International Conference on Distributed Computing Sytems (June 1994). New York: IEEE Computer Society Press, 56-65.
332. Also Technical Report TR-93-22. Department of ECE, University of California, Santa Barbara, December 1993.
333. Moser, L.E., P.M. Melliar-Smith, D.A. Agarwal, R.K. Budhia, and C.A. Lingley-Papadopoulos. Totem: A Fault-Tolerant Multicast Group Communication System. Communications of the ACM 39:4 (April 1996): 54-63.
334. Moser, L.E., P.M. Melliar-Smith, and U. Agarwal. Processor Membership in Asynchronous Distributed Systems. IEEE Transactions on Parallel and Distributed Systems 5:5 (May 1994): 459-473.
335. Moss, J.E. Nested Transactions and Reliable Distributed Computing. Proceedings of the Second Symposium on Reliability in Distributed Software and Database Systems (1982), 33-39.
336. Mullender, S.J. et al. Amoeba - A Distributed Operating System for the 1990s. IEEE Computer 23:5 (May 1990): 44-53.
337. Mummert, L.B., M.R. Ebling, and M. Satyanarayanan. Exploiting Weak Connectivity for Mobile File Access. Proceedings of the Fifteenth Symposium on Operating Systems Principles (Copper Mountain Resort, CO, December 1995). New York: ACM Press, 143-155.
338. Also ACM Transactions on Computing Systems 13:1 (February 1996).
339. Muthitacharoen, A., Chen, B. and Mazieres, D. A low-bandwidth network file system. 18th ACM Symposium on Operating Systems Principles (SOSP '01), Chateau Lake Louise, Banff, Canada. October 2001.
340. Muthitacharoen, A., R. Morris, T. Gil, B. Chen. Ivy: A Read/Write Peer-to-peer File System. Proceedings of the 5th USENIX Symposium on Operating Systems Design and Implementation (OSDI '02), Boston, Massachusetts, December 2002.
341. National Bureau of Standards. Data Encryption Standard. Federal Information Processing Standards Publication 46. Washington, DC: U.S. Government Printing Office, 1977.
342. Needham, R.M., and M.D. Schroeder. Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM 21:12 (December 1988): 993-999.
343. Neiger, G. A New Look at Membership Services. Proceedings of the Fifteenth ACM Symposium on Principles of Distributed Computing (Vancouver, 1996). In press.
344. Nelson, M., B. Welsh, and J. Ousterhout. Caching in the Sprite Network File System. Proceedings of the Eleventh ACM Symposium on Operating Systems Principles (Austin, November 1987). New York: ACM Press.
345. Also ACM Transactions on Computing Systems 6:1 (February 1988).
346. Object Management Group and X/Open. Common Object Request Broker: Architecture and Specification. Reference OMG 91.12.1, 1991.
347. Oki, B., M. Pfluegl, A. Siegel, and D. Skeen. The Information Bus-An Architecture for Extensible Distributed Systems. Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles (Asheville, NC, December 1993). New York: ACM Press, 58-68.
348. Open Software Foundation. Introduction to OSF DCE. Englewood Cliffs, NJ: Prentice Hall, 1994.
349. Ousterhout, J. TCL and the TK Toolkit. Reading, MA: Addison-Wesley, 1994.
350. - Why Aren't Operating Systems Getting Faster as Fast as Hardware? USENIX Summer Conference Proceedings (Anaheim, CA, 1990), 247-256.
351. Ousterhout, J. et al. The Sprite Network Operating System. Computer 21:2 (February 1988): 23-36.
352. - A Trace-Driven Analysis of the UNIX 4.2 BSD File System. Proceedings of the Tenth ACM Symposium on Operating Systems Principles (Orcas Island, WA, December 1985). New York: ACM Press, 15-24.
353. Ozkasap, O., R. van Renesse, K.P. Birman, and Z. Xiao. Efficient Buffering in Reliable Multicast Protocols. Proceedings of the First Workshop on Networked Group Communication. (NGC99). Lecture notes in Computer Science 1736, Springer Verlag, pp 159-169. Pisa, Italy. (November 1999).
354. Pai, V.S., Druschel, P. and Zwaenepoel, W. IO-Lite: A Unified I/O Buffering and Caching System. 3rd Symposium on Operating Systems Design and Implementation (OSDI). New Orleans, LA, February 1999.
355. Partridge, C., and S. Pink. A Faster UDP. IEEE/ACM Transactions on Networking 1:4 (August 1993): 429-440.
356. Patterson, D., G. Gibson, and R. Katz. A Case for Redundant Arrays of Inexpensive Disks (RAID). Proceedings of the 1988 ACM Conference on Management of Data (SIGMOD) (Chicago, June 1988), 109-116.
357. Pedone, F., R. Guerraoui and A. Schiper. Exploiting atomic broadcast in replicated databases. Proceedings EuroPar 98. 1998.
358. Pedone, F., A. Schiper. Handling message semantics with Generic Broadcast protocols. Distributed Computing 15(2) (2002): 97-107.
359. Pereira, J., L. Rodrigues, R. Oliveira. Semantically Reliable Multicast: Definition, Implementation, and Performance Evaluation. IEEE Transactions on Computers 52(2) (2003): 150-165.
360. Pereira, J., L. Rodrigues, R. Oliveira. Reducing the Cost of Group Communication with Semantic View Synchrony. DSN 2002: 293-302.
361. Peterson, I. Fatal Defect: Chasing Killer Computer Bugs. New York: Time Books/Random House, 1995.
362. Petersen, K., Spreitzer, M., Terry, D., Theimer, M., and Demers, A. Flexible Update Propagation for Weakly Consistent Replication. 16th ACM Symposium on Operating Systems Principles (SOSP). Saint Malo, France. October 1997.
363. Peterson, L. Preserving Context Information in an IPC Abstraction. Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems (March 1987). New York: IEEE Computer Society Press, 22-31.
364. Peterson, L., N. C. Buchholz, and R.D. Schlicting. Preserving and Using Context Information in Interprocess Communication. ACM Transactions on Computing Systems 7:3 (August 1989): 217-246.
365. Peterson, L., N. Hutchinson, S. O'Malley, and M. Abbott. RPC in the x-Kernel: Evaluating NewDesign Techniques. Proceedings of the Twelfth Symposium on Operating Systems Principles (Litchfield Park, AZ, November 1989). New York: ACM Press, 91-101.
366. Pfister, G.F. In Search of Clusters. Englewood Cliffs, NJ: Prentice Hall, 1995.
367. Pittel, B. On Spreading of a Rumor. SIAM Journal of Applied Mathematics 47:1 (1987): 213-223.
368. Powell, D. Introduction to Special Section on Group Communication. Communications of the ACM 39:4 (April 1996): 50-53.
369. - Lessons Learned from Delta-4. IEEE Micro 14:4 (February 1994): 36-47.
370. - ed. Delta-4: A Generic Architecture for Dependable Distributed Computing. Springer- Verlag ESPRIT Research Reports, Vol. I, Project 818/2252, 1991.
371. Pradhan, D. Fault-Tolerant Computer System Design. Englewood Cliffs, NJ: Prentice Hall, 1996.
372. Pradhan, D., and D. Avresky, eds. Fault-Tolerant Parallel and Distributed Systems. New York: IEEE Computer Society Press, 1995.
373. Pu, D. Relaxing the Limitations of Serializable Transactions in Distributed Systems. Operating Systems Review 27:2 (April 1993): 66-71. (Special issue on the Workshop on Operating Systems Principles at Le Mont St. Michel, France.)
374. Qiu, L., V.N. Padmanabhan, G.M. Voelker On the Placement of Web Server Replicas. Proceedings of INFOCOM 2001: 1587-1596
375. Rabin, M. Randomized Byzantine Generals. Proceedings of the Twenty-Fourth Annual Symposium on Foundations of Computer Science (1983). New York: IEEE Computer Society Press, 403-409.
376. Rangan, P.V., and H.M. Vin. Designing File Systems for Digital Video and Audio. Proceedings of the Twelfth ACM Symposium on Operating Systems Principles (Asilomar, CA, October 1991). New York: ACM Press, 81-94.
377. Rashid, R.F. Threads of a New System. UNIX Review 4 (August 1986): 37-49.
378. Ratnasamy, S., P. Francis, P., R. Handley, R. Karp, S. Shenker. A Scalable Content- Addressable Network, Proc ACM SIGCOMM 2001, San Diego, August 2001.
379. Reed, D.P., and R.K. Kanodia. Synchronization with Eventcounts and Sequencers. Communications of the ACM 22:2 (February 1979): 115-123.
380. Reiher, P. et al. Resolving File Conflicts in the Ficus File System. Proceedings of the Summer USENIX Conference (June 1994), 183-195.
381. Reiter, M.K., A.D. Rubin. Crowds: Anonymity for Web Transactions. ACM Transactions on Information and System Security 1(1): 66-92, November 1998.
382. Reiter, M.K. Distributing Trust with the Rampart Toolkit. Communications of the ACM 39:4 (April 1996): 71-75.
383. - Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart. Proceedings of the Second ACM Conference on Computer and Communications Security (Oakland, November 1994), 68-80.
384. - A Secure Group Membership Protocol. Proceedings of the 1994 Symposium on Research in Security and Privacy (Oakland, May 1994). New York: IEEE Computer Society Press, 89-99.
385. - A Security Architecture for Fault-Tolerant Systems. Ph.D. diss., Cornell University, August 1993.
386. Also Technical Report. Department of Computer Science, Cornell University.
387. Reiter, M.K., and K.P. Birman. How to Securely Replicate Services. ACM Transactions on Programming Languages and Systems 16:3 (May 1994): 986-1009.
388. Reiter, M.K., K.P. Birman, and L. Gong. Integrating Security in a Group-Oriented Distributed System. Proceedings of the IEEE Symposium on Research in Security and Privacy (Oakland, May 1992). New York: IEEE Computer Society Press, 18-32.
389. Reiter, M.K., K.P. Birman, and R. van Renesse. A Security Architecture for Fault-Tolerant Systems. ACM Transactions on Computing Systems, May 1995.
390. Ricciardi, A. The Impossibility of (Repeated) Reliable Broadcast. Technical Report TRPDS- 1996-003. Department of Electrical and Computer Engineering, University of Texas, Austin, April 1996.
391. Ricciardi, A., and K.P. Birman. Using Process Groups to Implement Failure Detection in Asynchronous Environments. Proceedings of the Eleventh ACM Symposium on Principles of Distributed Computing (Quebec, August 1991). New York: ACM Press, 341-351.
392. Ricciardi, A.M. The Group Membership Problem in Asynchronous Systems. Ph.D. diss., Cornell University, January 1993.
393. Riecken, D. Intelligent Agents. Communications of the ACM 37:7 (July 1994): 19-21.
394. Ritchie, D.M. A Stream Input-Output System. Bell Laboratories Technical Journal, AT & T 63:8 (1984): 1897-1910.
395. Rivest, R.L., A. Shamir, and L. Adleman. A Method for Obtaining Digital Signatures and Public Key Cryptosystems. Communications of the ACM 22:4 (December 1978): 120-126.
396. Rodeh, O., K. Birman, D. Dolev. The Architecture and Performance of the Security Protocols in the Ensemble Group Communication System. Journal of ACM Transactions on Information Systems and Security (TISSEC).
397. - Using AVL Trees for Fault-Tolerant Group Key Management. International Journal of Information Security (IJIS), Vol. 1, No 2, February 2002, 84-99.
398. Rodrigues, L., K. Guo, P. Verissimo, and K.P. Birman. A Dynamic
399. Rodrigues, L., and P. Verissimo. Causal Separators for Large-Scale Multicast Communication. Proceedings of the Fifteenth International Conference on Distributed Computing Systems (May 1995), 83-91.
400. - xAMP:AMultiPrimitive Group Communications Service. Proceedings of the Eleventh Symposium on Reliable Distributed Systems (Houston, October 1989). New York: IEEE Computer Society Press.
401. Rodrigues, L., P. Verissimo, and J. Rufino. A Low-Level Processor Group Membership Protocol for LANs. Proceedings of the Thirteenth International Conference on Distributed Computing Systems (May 1993), 541-550.
402. Rosenblum, M., and J.K. Ousterhout. The Design and Implementation of a Log-Structured File System. Proceedings of the Twelfth ACM Symposium on Operating Systems Principles (Asilomar, CA, October 1991). New York: ACM Press, 1-15.
403. Also ACM Transactions on Computing Systems 10:1 (February 1992): 26-52.
404. Rowe, L. A., and B. C. Smith. A Continuous Media Player. Proceedings of the Third InternationalWorkshop on Network and Operating Systems Support for Digital Audio and Video (San Diego, CA, November 1992).
405. Rowstron, A. and P. Druschel, Pastry: Scalable, distributed object location and routing for large-scale peer-to-peer systems. IFIP/ACM International Conference on Distributed Systems Platforms (Middleware), Heidelberg, Germany, pages 329-350, November, 2001.
406. Rowstron, A., and Druschel, P. Storage management and caching in PAST, a large scale, persistent peer-to-peer storage utility. 18th ACM Symposium on Operating Systems Principles (SOSP), Banff, Canada. October 2001.
407. Rowstron, A., A.M. Kermarrec, M. Castro, P. Druschel: SCRIBE: The Design of a Large- Scale Event Notification Infrastructure. Second International Workshop on Networked Group Communication, Oakland CA, 2001: 30-43.
408. Rowstron, A., Kermarrec, A.M., Druschel, P., and Castro, M. SCRIBE: A large-scale and decentralized application-level multicast infrastructure. IEEE Journal on Selected Areas in communications (JSAC), 2002.
409. - Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility, ACM Symposium on Operating Systems Principles (SOSP'01), Banff, Canada, October 2001.
410. Rozier, M. et al. Chorus Distributed Operating System. Computing Systems Journal 1:4 (December 1988): 305-370.
411. - The Chorus Distributed System. Computer Systems, Fall 1988: 299-328.
412. Sabel, L., and K. Marzullo. Simulating Fail-Stop in Asynchronous Distributed Systems. Proceedings of the Thirteenth Symposium on Reliable Distributed Systems (Dana Point, CA, October 1994). New York: IEEE Computer Society Press, 138-147.
413. Saito, Y., H.M. Levy. Optimistic Replication for Internet Data Services. Proceedings of 14th International Conference on Distributed Computing (DISC), 2000: 297-314.
414. Saito, Y., B. N. Bershad, H.M. Levy. Manageability, availability, and performance in porcupine: a highly scalable, cluster-based mail service. ACM Transactions on Computer Systems 18(3) (2000): 298.
415. Saltzer, J.H., D.P. Reed, and D. D. Clark. End-to-End Arguments in System Design. ACM Transactions on Computer Systems 39:4 (April 1990).
416. Saroiu, S., P.K.Gummadi, R. J. Dunn, S. D. Gribble, H.M. Levy. An Analysis of Internet Content Delivery Systems. Proceedings of 5th Operating System Design and Implementation Conference (OSDI), Boston, MA (Dec. 2002).
417. Satyanarayanan, M. et al. Integrating Security in a Large Distributed System. ACM Transactions on Computer Systems 7:3 (August 1989): 247-280.
418. - The ITC Distributed File System: Principles and Design. Proceedings of the Tenth ACM Symposium on Operating Systems Principles (Orcas Island, WA, December 1985). New York: ACM Press, 35-50.
419. Schantz, R. E., R. H. Thomas, and G. Bono. The Architecture of the Chronus Distributed Operating System. Proceedings of the Sixth International Conference on Distributed Computing Systems (NewYork, June 1986). NewYork: IEEE Computer Society Press, 250-259.
420. Schiller, J.I. Secure Distributed Computing. Scientific American (November 1994): 72-76.
421. Schiper, A., A.A. Shvartsman, H.Weatherspoon, B. Zhao: Future Directions in Distributed Computing, Research and Position Papers. Springer-Verlag, 2003.
422. Schiper, A., J. Eggli, and A. Sandoz. A New Algorithm to Implement Causal Ordering. Proceedings of the Third International Workshop on Distributed Algorithms (1989). Springer-Verlag Lecture Notes in Computer Science, vol. 392, 219-232.
423. Schiper, A., and M. Raynal. From Group Communication to Transactions in Distributed Systems. Communications of the ACM 39:4 (April 1996): 84-87.
424. Schiper A., and A. Sandoz. Uniform Reliable Multicast in a Virtually Synchronous Environment. Proceedings of the Thirteenth International Conference on Distributed Computing Systems (May 1993). New York: IEEE Computer Society Press, 561-568.
425. Schlicting, R. D., and F.B. Schneider. Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems. ACM Transactions on Computer Systems 1:3 (August 1983): 222-238.
426. Schmuck, F. The Use of Efficient Broadcast Primitives in Asynchronous Distributed Systems. Ph.D. diss., Cornell University, August 1988. Also Technical Report. Department of Computer Science, Cornell University.
427. . Also Technical Report. Department of Computer Science, Cornell University
428. Schmuck, F., and J.Wyllie. Experience with Transactions in QuickSilver. Proceedings of the Twelfth ACM Symposium on Operating Systems Principles (Asilomar, CA, October 1991). New York: ACM Press, 239-252.
429. Schneider, F.B. On Concurrent Programming. New York: Springer-Verlag, in press.
430. - Implementing Fault-Tolerant Services Using the StateMachine Approach. ACM Computing Surveys 22:4 (December 1990): 299-319.
431. - The StateMachine Approach: A Tutorial. Proceedings of the Workshop on Fault- Tolerant Distributed Computing (Asilomar, CA, 1988). Springer-Verlag Lecture Notes on Computer Science, Vol. 448, 18-41.
432. - Byzantine Generals in Action: Implementing Fail-Stop Processors. ACM Transactions on Computer Systems 2:2 (May 1984): 145-154.
433. - Synchronization in Distributed Programs. ACM Transactions on Programming Languages and Systems 4:2 (April 1982): 179-195.
434. Schneider, F.B., D. Gries, and R.D. Schlicting. Fault-Tolerant Broadcasts. Science of Computer Programming 3:2 (March 1984): 1-15.
435. Schwarz, R., and F. Mattern. Detecting Causal Relationships in Distributed Computations. Technical Report 215-91. Department of Computer Science, University of Kaiserslautern, 1991.
436. Seltzer, M. Transaction Support in a Log-Structured File System. Proceedings of the Ninth International Conference on Data Engineering (April 1993).
437. Shroeder, M., and M. Burrows. Performance of Firefly RPC. Proceedings of the Eleventh ACM Symposium on Operating Systems Principles (Litchfield Springs, AZ, December 1989), 83-90.
438. Also ACM Transactions on Computing Systems 8:1 (February 1990): 1-17.
439. Siegal, A. Performance in Flexible Distributed File Systems. Ph.D. diss., Cornell University, February 1992.
440. Also Technical Report TR-92-1266. Department of Computer Science, Cornell University.
441. Siegel, A., K.P. Birman, and K. Marzullo. Deceit: A Flexible Distributed File System. Technical Report 89-1042. Department of Computer Science, Cornell University, 1989.
442. Simons, B., J. N. Welch, and N. Lynch. An Overview of Clock Synchronization. In Fault- Tolerant Distributed Computing, (B. Simons and A. Spector, eds), Springer-Verlag Lecture Notes in Computer Science, Vol. 448, 1990, 84-96.
443. Skeen, D. Determining the Last Process to Fail. ACM Transactions on Computer Systems 3:1 (February 1985): 15-30.
444. - Crash Recovery in a Distributed Database System. Ph.D. diss., Department of EECS, University of California, Berkeley, June 1982.
445. - A Quorum-Based Commit Protocol. Proceedings of the Berkeley Workshop on Distributed Data Management and Computer Networks (Berkeley, CA, February 1982), 69-80.
446. - Nonblocking Commit Protocols. ACM International Conference on Management of Data (SIGMOD), Ann Arbor, MI. May 1981.
447. Snoeren, A.C., Conley, K., and Gifford, D.K. Mesh-based Content Routing using XML. 18th ACM Symposium on Operating Systems Principles (SOSP), Banff, Canada. October 2001.
448. Spasojevic, M., and M. Satyanarayanan. An Empirical Study of a Wide Area Distributed File System. ACM Transactions on Computer Systems 14:2 (May 1996).
449. Spector, A. Distributed Transactions for Reliable Systems. Proceedings of the Tenth ACM Symposium on Operating Systems Principles (Orcas Island, WA, December 1985), 12-146.
450. Srikanth, T. K., and S. Toueg. Optimal Clock Synchronization. Journal of the ACM 34:3 (July 1987): 626-645.
451. Srinivasan, V., and J. Mogul. Spritely NFS: Experiments with Cache Consistency Protocols. Proceedings of the Eleventh ACM Symposium on Operating Systems Principles (Litchfield Springs, AZ, December 1989), 45-57.
452. Steiner, J. G., B. C. Neuman, and J.I. Schiller. Kerberos: An Authentication Service for Open Network Systems. Proceedings of the 1988 USENIX Winter Conference (Dallas, February 1988), 191-202.
453. Stephenson, P. Fast Causal Multicast. Ph.D. diss., Cornell University, February 1991. Also Technical Report. Department of Computer Science, Cornell University.
454. . Also Technical Report. Department of Computer Science, Cornell University
455. Stoica, I., R. Morris, D. Karger., M.F. Kaashoek, and H. Balakrishnan, Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications, ACM SIGCOMM 2001, San Deigo, CA, August 2001, pp. 149-160.
456. Sussman, J., K. Marzullo. The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System. Journal of Theoretical Computer Science 291(1), January 2003.
457. Tanenbaum, A. Computer Networks, 2d ed. Englewood Cliffs, NJ: Prentice Hall, 1988.
458. Tanenbaum, A., and R. van Renesse. A Critique of the Remote Procedure Call Paradigm. Proceedings of the EUTECO '88 Conference (Vienna, April 1988), f 775-783.
459. Telecommunications Information Network Architecture Conference, Proceedings of (Heidelberg, September 3-5, 1996). Berlin: VDE-Verlag.
460. Tennenhouse, D. Layered Multiplexing Considered Harmful. In Protocols for High Speed Networks. Elsevier, 1990.
461. Terry, D.B. et al. Managing Update Conflicts in a Weakly Connected Replicated Storage System. Proceedings of the Fifteenth Symposium on Operating Systems Principles (Copper Mountain Resort, CO, December 1995). New York: ACM Press, 172-183.
462. Thekkath, C.A., and H.M. Levy. Limits to Low-Latency Communication on High-Speed Networks. ACM Transactions on Computer Systems 11:2 (May 1993): 179-203.
463. Thekkath, C.A., T. Nguyen, E. Moy, and E. Lazowska. Implementing Network Protocols at User Level. IEEE Transactions on Networking 1:5 (October 1993): 554-564.
464. Thekkath, C., Mann, T., and Lee, E. Frangipani: Ascalable distributed file system. 16th ACM Symposium on Operating Systems Principles (SOSP), Saint-Malo, France, October 1997.
465. Thomas, T.A Majority Consensus Approach to Concurrency Control for Multiple Copy Databases. ACM Transactions on Database Systems 4:2 (June 1979): 180-209.
466. Torrellas, J., and J. Hennessey. Estimating the Performance Advantages of Relaxing Consistency in a Shared-Memory Multiprocessor. Technical Report CSL-TN-90-265. Stanford University Computer Systems Laboratory, February 1990.
467. Turek, J., and D. Shasha. The Many Faces of Consensus in Distributed Systems. IEEE Computer 25:6 (1992): 8-17.
468. Triantafillou, P. Peer-to-Peer Network Architectures: The Next Step, SIGCOMM Workshop on Future Directions in Network Architectures (FDNA-03) August 2003.
469. van Renesse, R. Why Bother with CATOCS? Operating Systems Review 28:1 (January 1994): 22-27.
470. - Causal Controversy at Le Mont St.-Michel. Operating Systems Review 27:2 (April 1993): 44-53.
471. van Renesse, R., K.P. Birman and W. Vogels. Astrolabe: A Robust and Scalable Technology for Distributed System Monitoring, Management, and Data Mining. ACM Transactions on Computer Systems, May 2003, Vol.21, No. 2, 164-206.
472. van Renesse, R., K.P Birman, D. Dumitriu, and W. Vogels. Scalable Management and Data Mining Using Astrolabe. Proceedings of the First International Workshop on Peer-to-Peer Systems (IPTPS). Cambridge, Massachusetts. March 2002.
473. van Renesse, R., K.P. Birman, R. Cooper, B. Glade, and P. Stephenson. Reliable Multicast between Microkernels. Proceedings of the USENIX Workshop on Microkernels and Other Kernel Architectures (Seattle, April 1992).
474. van Renesse, R., K.P. Birman, R. Friedman, M. Hayden, and D. Karr. A Framework for Protocol Composition in Horus. Proceedings of the Fourteenth Symposium on the Principles of Distributed Computing (Ottawa, August 1995). New York: ACM Press, 80-89.
475. van Renesse, R., K.P. Birman, and S. Maffeis. Horus: A Flexible Group Communication System. Communications of the ACM 39:4 (April 1996): 76-83.
476. van Renesse, R., H. van Staveren, and A. Tanenbaum. The Performance of the Amoeba Distributed Operating System. Software-Practice and Experience 19:3 (March 1989): 223-234.
477. - Performance of theWorld's Fastest Operating System. Operating Systems Review 22:4 (October 1988): 25-34.
478. Verissimo, P. Causal Delivery in Real-Time Systems: A Generic Model. Real-Time Systems Journal 10:1 (January 1996).
479. - Ordering and Timeliness Requirements of Dependable Real-Time Programs. Journal of Real-Time Systems 7:2 (September 1994): 105-128.
480. - Real-Time Communication. In Distributed Systems, 2d ed., 1993, S.J. Mullender, ed. Reading, MA: Addison-Wesley/ACM Press, 1993, 447-490.
481. Verissimo, P. Uncertainty and Predictability: Can They Be Reconciled? Future Directions in Distributed Computing, Springer-Verlag (2003): 108-113.
482. Verissimo, P., A. Casimiro. The Timely Computing Base Model and Architecture. IEEE Transactions on Computers 51(8) (2002): 916-930.
483. Verissimo, P., L. Rodrigues, A. Casimiro. CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems. Real-Time Systems 12(3) (1997): 243-294.
484. Verissimo, P., and L. Rodrigues. A-Posteriori Agreement for Fault-Tolerant Clock Synchronization on Broadcast Networks. Proceedings of the Twenty-Second International Symposium on Fault-Tolerant Computing (Boston, July 1992).
485. Vogels, W. The Private Investigator. Technical Report. Department of Computer Science, Cornell University, April 1996.
486. Vogels, W. File System Usage in Windows NT 4.0. Proc. of the 17th ACM Symposium on Operating Systems Principles, Kiawah Island, SC, December 1999.
487. W. Vogels, Birman, K., R. van Renesse. Six Misconceptions about Reliable Distributed Computing. Proceedings of the Eighth ACM SIGOPS European Workshop. Sintra, Portugal, September 1998.
488. von Eicken, T., A. Basu, V. Buch, and W. Vogels. U-Net: A User-Level Network Interface for Parallel and Distributed Computing. Proceedings of the Fifteenth Symposium on Operating Systems Principles (Copper Mountain Resort, CO, December 1995). New York: ACM Press, 40-53.
489. von Eicken, T. and W. Vogels. Evolution of the Virtual Interface Architecture. IEEE Computer. November 1998.
490. von Eicken, T., D. E. Culler, S. C. Goldstein, and K. E. Schauser. Active Messages: A Mechanism for Integrated Communication and Computation. Proceedings of the Nineteenth International Symposium on Computer Architecture (May 1992), 256-266.
491. Voydock, V. L., and S. T. Kent. Security Mechanisms in High-Level Network Protocols. ACM Computing Surveys 15:2 (June 1983): 135-171.
492. Wahbe, R., S. Lucco, T.Anderson, and S. Graham. Efficient Software-Based Fault Isolation. Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles (Asheville, NC, December 1993). New York: ACM Press, 203-216.
493. Walter, B. et al. The Locus Distributed Operating System. Proceedings of the Ninth ACM Symposium on Operating Systems Principles (Bretton Woods, NH, October 1993), 49-70.
494. Weatherspoon, H., J. Kubiatowicz. Erasure Coding Vs. Replication: A Quantitative Comparison. IPTPS 2002, 328-338.
495. Welsh, M., Culler, D. and Brewer, E. SEDA: An Architecture for Well-Conditioned, Scalable Internet Services. 18th Symposium on Operating Systems Principles (SOSP), Banff, Canada. October 2001.
496. Whetten, B. A Reliable Multicast Protocol. In Theory and Practice in Distributed Systems, K. Birman, F. Mattern, and A. Schiper, eds. Springer-Verlag Lecture Notes on Computer Science, Vol. 938, July 1995.
497. Wilkes, J. et al. The HP AutoRAID Hierarchical Storage System. Proceedings of the Fifteenth Symposium on Operating Systems Principles (Copper Mountain Resort, CO, December 1995). New York: ACM Press, 96-108.
498. Also ACM Transactions on Computing Systems 13:1 (February 1996).
499. Wolman, A., G.M. Voelker, N. Sharma, N. Cardwell, A. R. Karlin, H.M. Levy: On the scale and performance of cooperative Web proxy caching. Proceedings of the 17th Symposium on Operating Systems (SOSP), Charleston SC, 1999: 16-31.
500. Wood, M.D. Replicated RPC Using Amoeba Closed-Group Communication. Proceedings of the Twelfth International Conference on Distributed Computing Systems (Pittsburgh, 1993).
501. - Fault-Tolerant Management of Distributed Applications Using a Reactive System Architecture. Ph.D. diss., Cornell University, December 1991.
502. Also Technical Report TR 91-1252. Department of Computer Science, Cornell University.
503. Wu, Y. Verification-Based Analysis of RMP. Technical Report NASA-IVV-95-003. NASA/WVU Software Research Laboratory, December 1995.
504. Zhao, B., Y. Duan, L. Huang, A.D. Joseph, J. Kubiatowicz. Brocade: Landmark Routing on Overlay Networks. IPTPS 2002, 34-44.
505. Zhao, B., L. Huang, J. Stribling, S. C. Rhea, A.D. Joseph, and J. Kubiatowicz. Tapestry: A Resilient Global-scale Overlay for Service Deployment, IEEE Journal on Selected Areas in Communication.
506. Zhao, B. Y. Duan, L. Huang, A.D. Joseph and J.D. Kubiatowicz. Brocade: landmark routing on overlay networks, First International Workshop on Peer-to-Peer Systems (IPTPS), Cambridge, MA. March 2002.