{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T14:27:37Z","timestamp":1773239257076,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540368212","type":"print"},{"value":"9783540368236","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11808107_8","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T12:30:27Z","timestamp":1164025827000},"page":"172-194","source":"Crossref","is-referenced-by-count":4,"title":["Advances in the Design and Implementation of Group Communication Middleware"],"prefix":"10.1007","author":[{"given":"Daniel","family":"B\u00fcnzli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachele","family":"Fuzzati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Mena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Nestmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"R\u00fctti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Schiper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142 T.","family":"Wojciechowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"The Appia project, \n                    \n                      http:\/\/appia.di.fc.ul.pt\/"},{"key":"8_CR2","unstructured":"The Cactus project, \n                    \n                      http:\/\/www.cs.arizona.edu\/Cactus\/"},{"key":"8_CR3","unstructured":"The Ensemble project, http:\/\/www.cs.cornell\/Info\/Projects\/Ensemble\/"},{"key":"8_CR4","unstructured":"The X-kernel project, \n                    \n                      http:\/\/www.cs.arizona.edu\/xkernel\/"},{"issue":"2","key":"8_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s004460050070","volume":"13","author":"M.K. Aguilera","year":"2000","unstructured":"Aguilera, M.K., Chen, W., Toueg, S.: Failure detection and consensus in the crash-recovery model. Distributed Computing\u00a013(2), 99\u2013125 (2000)","journal-title":"Distributed Computing"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"B\u00fcnzli, D.C., Mena, S., Nestmann, U.: Protocol composition frameworks, a header-driven model. In: Proceedings of the IEEE International Symposium on Network Computing and Applications, Cambridge, MA, USA (2005)","DOI":"10.1109\/NCA.2005.41"},{"issue":"4","key":"8_CR7","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1145\/234533.234549","volume":"43","author":"T.D. Chandra","year":"1996","unstructured":"Chandra, T.D., Hadzilacos, V., Toueg, S.: The weakest failure detector for solving consensus. Journal of ACM\u00a043(4), 685\u2013722 (1996)","journal-title":"Journal of ACM"},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T.D. Chandra","year":"1996","unstructured":"Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of ACM\u00a043(2), 225\u2013267 (1996)","journal-title":"Journal of ACM"},{"issue":"33","key":"8_CR9","first-page":"1","volume":"4","author":"G.V. Chockler","year":"2001","unstructured":"Chockler, G.V., Keidar, I., Vitenberg, R.: Group Communication Specifications: A Comprehensive Study. ACM Computing Surveys\u00a04(33), 1\u201343 (2001)","journal-title":"ACM Computing Surveys"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-49099-X_7","volume-title":"Programming Languages and Systems","author":"C. Flanagan","year":"1999","unstructured":"Flanagan, C., Abadi, M.: Types for Safe Locking. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, p. 91. Springer, Heidelberg (1999)"},{"key":"8_CR11","unstructured":"Gensoul, C.: Implementing Nuntius in the Objective Caml System. Master\u2019s thesis, EPFL (2004)"},{"key":"8_CR12","unstructured":"Hadzilacos, V., Toueg, S.: Fault-Tolerant Broadcasts and Related Problems. Technical Report 94-1425, Department of Computer Science, Cornell University (May 1994)"},{"key":"8_CR13","unstructured":"Mena, S., Basile, C., Kalbarczyk, Z., Schiper, A., Iyer, R.: Assessing the crash-failure assumption of group communication protocols. In: Proceedings of 16th IEEE Int\u2019l Symp. on Software Reliability Engineering (ISSRE) (November 2005)"},{"key":"8_CR14","unstructured":"Mena, S., Cuvellier, X., Gr\u00e9goire, C., Schiper, A.: Appia vs. Cactus: Comparing protocol composition frameworks. In: 22nd Symposium on Reliable Distributed Systems, Florence, Italy (October 2003)"},{"key":"8_CR15","unstructured":"Mena, S., Schiper, A.: A new look at atomic broadcast in the asynchronous crash-receovery model. In: Proceedings of the 24th Symposium on Reliable Distributed Systems (SRDS 2005), Orlando, Florida (October 2005)"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-44892-6_21","volume-title":"Middleware 2003","author":"S. Mena","year":"2003","unstructured":"Mena, S., Schiper, A., Wojciechowski, P.T.: A Step Towards a New Generation of Group Communication Systems. In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol.\u00a02672, pp. 414\u2013432. Springer, Heidelberg (2003)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-40965-6_5","volume-title":"Advances in Computing Science \u2013 ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation","author":"U. Nestmann","year":"2003","unstructured":"Nestmann, U., Fuzzati, R.: Unreliable failure detectors via operational semantics. In: Saraswat, V.A. (ed.) ASIAN 2003. LNCS, vol.\u00a02896, pp. 54\u201371. Springer, Heidelberg (2003)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-540-45187-7_26","volume-title":"CONCUR 2003 - Concurrency Theory","author":"U. Nestmann","year":"2003","unstructured":"Nestmann, U., Fuzzati, R., Merro, M.: Modeling consensus in a process calculus. In: Amadio, R., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 399\u2013414. Springer, Heidelberg (2003)"},{"issue":"5","key":"8_CR19","doi-asserted-by":"publisher","first-page":"1205","DOI":"10.1109\/TKDE.2003.1232273","volume":"15","author":"L. Rodrigues","year":"2003","unstructured":"Rodrigues, L., Raynal, M.: Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication. IEEE Transactions on Knowledge and Data Engineering\u00a015(5), 1205\u20131217 (2003)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"8_CR20","unstructured":"The SAMOA Protocol Framework, \n                    \n                      http:\/\/lsrwww.epfl.ch\/samoa"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/11808107_2","volume-title":"Dependable Systems: Software, Computing, Networks","author":"A. Schiper","year":"2006","unstructured":"Schiper, A.: Dependable systems. In: Kohlas, J., Meyer, B., Schiper, A. (eds.) Dependable Systems: Software, Computing, Networks. LNCS, vol.\u00a04028, pp. 34\u201354. Springer, Heidelberg (2006)"},{"issue":"5","key":"8_CR22","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s00446-005-0129-4","volume":"18","author":"A. Schiper","year":"2006","unstructured":"Schiper, A.: Dynamic Group Communication. ACM Distributed Computing\u00a018(5), 359\u2013374 (2006)","journal-title":"ACM Distributed Computing"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-30557-6_6","volume-title":"Practical Aspects of Declarative Languages","author":"V. Tanasescu","year":"2005","unstructured":"Tanasescu, V., Wojciechowski, P.T.: Role-based declarative synchronization for reconfigurable systems. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol.\u00a03350, pp. 52\u201366. Springer, Heidelberg (2005)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-30477-7_11","volume-title":"Programming Languages and Systems","author":"P.T. Wojciechowski","year":"2004","unstructured":"Wojciechowski, P.T.: Concurrency combinators for declarative synchronization. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 163\u2013178. Springer, Heidelberg (2004)"},{"key":"8_CR25","unstructured":"Wojciechowski, P.T.: Isolation-only transactions by typing and versioning. Technical Report IC-2004-104, School of Computer and Communication Sciences, Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), p.47 (December 2004)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Wojciechowski, P.T.: Isolation-only transactions by typing and versioning. In: Proceedings of PPDP 2005: The 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Lisboa, Portugal (July 2005)","DOI":"10.1145\/1069774.1069781"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/11494881_18","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P.T. Wojciechowski","year":"2005","unstructured":"Wojciechowski, P.T., R\u00fctti, O.: On correctness of dynamic protocol update. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 275\u2013289. Springer, Heidelberg (2005)"},{"key":"8_CR28","unstructured":"Wojciechowski, P.T., R\u00fctti, O., Schiper, A.: SAMOA: Framework for Synchronisation Augmented Microprotocol Approach. In: Proceedings of IPDPS 2004: The 18th IEEE International Parallel and Distributed Processing Symposium, Santa Fe, USA (April 2004)"}],"container-title":["Lecture Notes in Computer Science","Dependable Systems: Software, Computing, Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11808107_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:37Z","timestamp":1605644017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11808107_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540368212","9783540368236"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11808107_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}