MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  C. Toinard, ;1

Download:
pdf | ps
by G. Florin, C. Carrez
http://cedric.cnam.fr/~toinard/Recherche/ordre1.ps
Add To MetaCart

Abstract:

A formal method to prove ordering properties of multicast systems

Citations

1747 Time, clocks and the ordering of events in a distributed system – Lamport - 1978
540 Lightweight causal and atomic group multicast – Birman, Schiper, et al. - 1991
344 Transis: A communication subsystem for high availability – Amir, Dolev, et al. - 1992
341 Reliable broadcast protocols – Chang, Maxemchuk - 1984
211 Lingley-Papadopoulos “Totem: A fault-tolerant multicast group communication system – Moser, Melliar-Smith, et al. - 1996
126 Consul: A communication substrate for fault-tolerant distributed programs – Mishra, Peterson, et al. - 1993
97 A framework for protocol composition in Horus – Renesse, Birman, et al. - 1995
93 Ordered and Reliable Multicast Communication – Garcia-Molina, Spauster - 1991
92 Design and Performance of Horus: A Lightweight Group Communication System – Renesse, Takako, et al. - 1994
79 Fast Message Ordering and Membership Using a Logical Token-Passing Ring – Amir, Moser, et al. - 1993
58 AMp: a Highly Parallel Atomic Multicast – Verissimo, Rodrigues, et al. - 1989
16 Renesse, “The hierarchical daisy architecture for causal delivery – Baldoni, Friedman, et al. - 1997
12 A new way to design causally and totally ordered multicast protocols – Florin, Toinard - 1992
7 A dynamic hybrid protocol for total order in large-scale systems – Rodrigues, Fonseca, et al. - 1996
4 N.: De nouvelles architectures de communication pour le controle de proc'ed'e industriel: vers une r'epartition massive et tol'erante aux fautes – Toinard, Chevassus - 1996
3 Bal An ecient reliable broadcast protocol. Operating Systems Review – Kaashoek, Tanenbaum, et al. - 1989
3 CORBA for distributed and fault-tolerant process control – Toinard, Chevassus - 1997
2 Newtop: A fault-tolerant group communication protocol – Ezhichelvan, Shrivastava - 1995
2 Ecient Ordering of Messages in Wide Area Networks – Huleilhel - 1996
2 A Non-Blocking Lightweight Implentation of Causal Order Message Delivery – Mattern, Funfrocken - 1995
2 Une architecture repartie et realiste de communication vers des groupes garantissant un ordre causal et total gr^ace a une arborescence de serveurs – Toinard, Dumas, et al. - 1996
2 An object communication architecture for real time distributed process control – Toinard, Chevassus - 1997
1 Etude des diusions ordonnees vers des groupes – Toinard - 1993