Specifications and proofs for ensemble layers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1579, Issue , 1999, Pages 119-134

  Hickey, Jason ^a   Lynch, Nancy ^b   van Renesse, Robbert ^a  

^a Department of Obstetrics Gynecology   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

DISTRIBUTED APPLICATIONS; DISTRIBUTED PROGRAMMING; GROUP COMMUNICATION SYSTEMS; MESSAGE DELIVERY; MESSAGE ORDERING; PROCESS GROUPS; TOTAL ORDER;

ARTIFICIAL INTELLIGENCE;

EID: 84948945922     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49059-0_9     Document Type: Conference Paper

References (17)

1. Emmanuelle Anceaume, Bernadette Charron-Bost, Pascale Minet, and Sam Toueg. On the formal specification of group membership services. Technical Report TR 95-1534, Cornell University Computer Science Department, August 1995.
2. Ozalp Babaoglu, Renzo Davoli, L. Giachini, and G. Baker. System support for partition-aware network applications. In Proceedings of the 18th IEEE Interna-tional Conference on Distributed Computing Systems, May 1998.
3. Kenneth P. Birman. Building Secure and Reliable Network Applications. Manning Publishing Company and Prentice Hall, January 1997.
4. Kenneth P. Birman and Thomas A. Joseph. Exploiting virtual synchrony in distributed systems. In Proc 11th Symposium on Operating Systems Principles (SOSP), pages 123-138, November 1987.
5. R. L. Constable et al. Implementing Mathematics in the NuPRL Proof Development System. Prentice-Hall, 1986.
6. Alan Fekete. Formal models of communications services: A case study. IEEE Computer, 26(8): 37-47, August 1993.
7. Alan Fekete, Nancy Lynch, and Alex Shvartsman. Specifying and using parti-tionable group communication service. In Proc. 16thAnnual ACM Symposium on Principles of Dist. Comp., pages 52-62, 1997.
8. Mark G. Hayden. The Ensemble System. PhD thesis, Dept. of Computer Science, Cornell University, January 1997.
9. Jason Hickey, Nancy Lynch, and Robbert van Renesse. Specifications and proofs for Ensemble layers. Technical Report forthcoming, MIT and Cornell University, 1998. available at http://www. cs. cornell. edu/jyh/papers/HLR98. ps.
10. Bengt Jonsson. Compositional specification and verification of distributed sys-tems. ACM Transactions on Programming Languages and Systems, 16(2): 259-303, March 1994.
11. David A. Karr. Protocol Composition on Horus. PhD thesis, Dept. of Computer Science, Cornell University, December 1996.
12. Leslie Lamport. Introduction to TLA. Technical Report 1994-001, DIGITAL SRC, Palo Alto, CA, 1994.
13. Nancy Lynch and Mark Tuttle. An introduction to Input/Output automata. Cen-trum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 2(3): 219-246, September 1989. Also Tech. Memo MIT/LCS/TM-373.
14. Nancy A. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996.
15. Gil Neiger. A new look at membership services. In Proc. 15thAnnual ACM Sym-posium on Principles of Dist. Comp., pages 331-340, May 1996.
16. Robbert Van Renesse, Ken Birman, Mark Hayden, Alexey Vaysburd, and David Karr. Building adaptive systems using Ensemble. Software-Practice and Experi-ence, 29(9): 963-979, July 1998.
17. Robbert Van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, and David A. Karr. A Framework for Protocol Composition in Horus. In Proc. 14th Annual ACM Symposium on Principles of Dist. Comp., pages 80-89, Ottawa, On-tario, August 1995. ACM SIGOPS-SIGACT.