{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,12]],"date-time":"2025-07-12T22:47:59Z","timestamp":1752360479677,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600428"},{"type":"electronic","value":"9783540494096"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60042-6_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:32:56Z","timestamp":1330277576000},"page":"83-98","source":"Crossref","is-referenced-by-count":7,"title":["The design of the Transis system"],"prefix":"10.1007","author":[{"given":"Danny","family":"Dolev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dalia","family":"Malki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"6_CR1","unstructured":"O. Amir, Y. Amir, and D. Dolev. A Highly Available Application in the Transis Environment. In Proceedings of the Hardware and Software Architectures for Fault Tolerance Workshop, at Le Mont Saint-Michel, France (LNCS 774), June 1993."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Y. Amir, D. Dolev, S. Kramer, and D. Malki. Membership Algorithms for Multicast Communication Groups. In 6th Intl. Workshop on Distributed Algorithms proceedings (WDAG-6), (LCNS, 647), pages 292\u2013312, November 1992.","DOI":"10.1007\/3-540-56188-9_20"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Y. Amir, D. Dolev, S. Kramer, and D. Malki. Transis: A Communication Sub-System for High Availability. In 22nd Annual International Symposium on Fault-Tolerant Computing, pages 76\u201384, July 1992.","DOI":"10.1109\/FTCS.1992.243613"},{"key":"6_CR4","volume-title":"Technical Report CS94-20","author":"Y. Amir","year":"1994","unstructured":"Y. Amir, D. Dolev, P. M. Melliar-Smith, and L. E. Moser. Robust and Efficient Replication using Group Communication. Technical Report CS94-20, Institute of Computer Science, The Hebrew University of Jerusalem, Jerusalem, Israel, 1994."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Y. Amir, L. E. Moser, P. M. Melliar-Smith, D. A. Agarwal, and P. Ciarfella. Fast Message Ordering and Membership Using a Logical Token-Passing Ring. In Intl. Conference on Distributed Computing Systems, pages 551\u2013560, May 1993.","DOI":"10.1109\/ICDCS.1993.287668"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"K. P. Birman. The Process Group Approach to Reliable Distributed Computing. Communications of the ACM, 36(12), December 1993.","DOI":"10.1145\/163298.163303"},{"key":"6_CR7","unstructured":"K. P. Birman. Reliable Distributed Computing with the Isis Toolkit, chapter Virtual Synchrony Model. IEEE Press, 1994. to appear."},{"key":"6_CR8","unstructured":"K. P. Birman, R. Cooper, and B. Gleeson. Programming with Process Groups: Group and Multicast Semantics. TR 91-1185, dept. of Computer Science, Cornell University, Jan 1991."},{"issue":"3","key":"6_CR9","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1145\/128738.128742","volume":"9","author":"K. P. Birman","year":"1991","unstructured":"K. P. Birman, A. Schiper, and P. Stephenson. Lightweight Causal and Atomic Group Multicast. ACM Trans. Comp. Syst., 9(3):272\u2013314, 1991.","journal-title":"ACM Trans. Comp. Syst."},{"key":"6_CR10","unstructured":"K. P. Birman and R. van Renesse. Reliable Distributed Computing with the Isis Toolkit. IEEE Press, 1994."},{"issue":"4","key":"6_CR11","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF01784719","volume":"4","author":"F. Cristian","year":"1991","unstructured":"F. Cristian. Reaching agreement on processor group membership in synchronous distributed systems. Distributed Computing, 4(4):175\u2013187, April 1991.","journal-title":"Distributed Computing"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"D. Dolev, S. Kramer, and D. Malki. Early Delivery Totally Ordered Broadcast in Asynchronous Environments. In 23rd Annual International Symposium on Fault-Tolerant Computing, pages 544\u2013553, June 1993.","DOI":"10.1109\/FTCS.1993.627357"},{"key":"6_CR13","unstructured":"D. Dolev, D. Malki, and H. R. Strong. An Asynchronous Membership Protocol that Tolerates Partitions. submitted for publication. Available as CS TR94-6, Institute of Computer Science, the Hebrew University of Jerusalem, 1994."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and Y. Moses. Knowledge and Common Knowledge in a Distributed Environment. In 3rd Annual ACM Symp. on Principles of Distributed Computing, pages 50\u201361, 1984.","DOI":"10.1145\/800222.806735"},{"key":"6_CR15","unstructured":"M. F. Kaashoek and A. S. Tanenbaum. Group Communication in the Amoeba Distributed Operating System. In 11th Intl. Conference on Distributed Computing Systems, pages 882\u2013891, May 1991."},{"issue":"4","key":"6_CR16","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/70730.70732","volume":"23","author":"M. F. Kaashoek","year":"1989","unstructured":"M. F. Kaashoek, A. S. Tanenbaum, S. F. Hummel, and H. E. Bal. An Efficient Reliable Broadcast Protocol. Operating Systems Review, 23(4):5\u201319, October 1989.","journal-title":"Operating Systems Review"},{"key":"6_CR17","unstructured":"I. Keidar. A Highly Available Paradigm for Consistent Object Replication. Master's thesis, Inst. of Computer Science, The Hebrew University of Jerusalem, 1994. Also available as Technical Report CS95-5. submitted for publication."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"R. Ladin, B. Liskov, L. Shrira, and S. Ghemawat. Lazy Replication: Exploiting the Semantics of Distributed Services. In 9th Ann. Symp. Principles of Distributed Computing, pages 43\u201358, August 90.","DOI":"10.1145\/93385.93399"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. Comm. ACM, 21(7):558\u2013565, July 78.","DOI":"10.1145\/359545.359563"},{"key":"6_CR20","unstructured":"D. Malki, Y. Amir, D. Dolev, and S. Kramer. The Transis Approach to High Availability Cluster Communication. TR 94-14, Inst. of Comp. Sci., The Hebrew University of Jerusalem, June 1994."},{"key":"6_CR21","unstructured":"D. Malki and R. van Renesse. The Replication Service Layer. internal manuscript, 1994."},{"issue":"1","key":"6_CR22","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/71.80121","volume":"1","author":"P. M. Melliar-Smith","year":"1990","unstructured":"P. M. Melliar-Smith, L. E. Moser, and V. Agrawala. Broadcast Protocols for Distributed Systems. IEEE Trans. Parallel & Distributed Syst., 1(1):17\u201325, Jan 1990.","journal-title":"IEEE Trans. Parallel & Distributed Syst."},{"key":"6_CR23","unstructured":"S. Mishra, L. L. Peterson, and R. L. Schlichting. Consul: A Communication Substrate for Fault-Tolerant Distributed Programs. TR 91-32, dept. of Computer Science, University of Arizona, 1991."},{"key":"6_CR24","first-page":"56","volume-title":"Extended virtual synchrony","author":"L. E. Moser","year":"1994","unstructured":"L. E. Moser, Y. Amir, P. M. Melliar-Smith, and D. A. Agarwal. Extended virtual synchrony. In Proceedings of the Fourteenth Intl. Conference on Distributed Computing Systems, pages 56\u201365, Poznan, Poland, June 1994. IEEE. Also available as technical report ECE93-22, Department of Electrical and Computer Engineering, University of California, Santa Barbara, CA."},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"L. L. Peterson, N. C. Buchholz, and R. D. Schlichting. Preserving and Using Context Information in Interprocess Communication. ACM Trans. Comput. Syst., 7(3):217\u2013246, August 89.","DOI":"10.1145\/65000.65001"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"D. Powell. Delta-4: A Generic Architecture for Dependable Distributed Computing. Springer-Verlag, 1991.","DOI":"10.1007\/978-3-642-84696-0"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"A. M. Ricciardi and K. P. Birman. Using Process Groups to Implement Failure Detection in Asynchronous Environments. In proc. annual ACM Symposium on Principles of Distributed Computing, pages 341\u2013352, August 1991.","DOI":"10.1145\/112600.112628"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"R. van Renesse, R. Cooper, B. Glade, and P. Stephenson. A RISC Approach to Process Groups. In Proceedings of the 5th ACM SIGOPS Workshop, pages 21\u201323, September 1992.","DOI":"10.1145\/506378.506394"},{"key":"6_CR29","unstructured":"R. van Renesse, T. M. Hickey, and K. P. Birman. Design and Performance of Horus: A Lightweight Group Communications System. Technical Report 94-1442, Cornell University, Dept. of Computer Science, Aug. 1994."}],"container-title":["Lecture Notes in Computer Science","Theory and Practice in Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60042-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:50:52Z","timestamp":1742597452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60042-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600428","9783540494096"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-60042-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}