{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:16:19Z","timestamp":1725495379967},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657033"},{"type":"electronic","value":"9783540490593"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_8","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:56:57Z","timestamp":1194991017000},"page":"104-118","source":"Crossref","is-referenced-by-count":2,"title":["Automated Fast-Track Reconfiguration of Group Communication Systems"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Kreitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"K. Birman. Building Secure and Reliable Network Applications. Manning Publishing Company and Prentice Hall, 1997.","DOI":"10.1007\/3-540-63343-X_35"},{"key":"8_CR2","unstructured":"K. Birman & R. van Renesse. Reliable Distributed Computing with the Isis Toolkit. IEEE Computer Society Press, 1994."},{"key":"8_CR3","unstructured":"R. Constable, et. al., Implementing Mathematics with the NuPRL proof development system. Prentice Hall, 1986."},{"key":"8_CR4","unstructured":"O. Haf\u0131zogullar\u0131 & C. Kreitz. A Type-based Framework for Automatic Debugging. Technical Report, Cornell University, 1998."},{"key":"8_CR5","unstructured":"M. Hayden. Distributed communication in ML. Technical Report TR97-1652, Cornell University, 1997."},{"key":"8_CR6","unstructured":"The Ensemble distributed communication system. System distribution and documentation. \n                    http:\/\/www.cs.cornell.edu\/Info\/Projects\/Ensemble"},{"key":"8_CR7","unstructured":"M. Hayden. The Ensemble System. PhD thesis, Cornell University, 1998."},{"key":"8_CR8","unstructured":"M. Hayden & R. van Renesse. Optimizing layered communication protocols. Technical Report TR 96-1613, Cornell University, 1996."},{"key":"8_CR9","unstructured":"J. Hickey, N. Lynch, R. van Renesse. Specifications and Proofs for Ensemble Layers. TACAS\u201999. This volume"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"C. Kreitz, M. Hayden, J. Hickey. A proof environment for the development of group communication systems. CADE-15, LNAI 1421, pp. 317\u2013332, Springer, 1998.","DOI":"10.1007\/BFb0054269"},{"key":"8_CR11","unstructured":"C. Kreitz. Formal reasoning about communication systems I: Embedding ML into type theory. Technical Report TR97-1637, Cornell University, 1997."},{"key":"8_CR12","unstructured":"C. Kreitz. Formal reasoning about communication systems II: Automated Fast-Track Reconfiguration. Technical Report TR98-1707, Cornell University, 1998."},{"key":"8_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60939-3_10","volume-title":"LoPSTR-5","author":"C. Kreitz","year":"1996","unstructured":"C. Kreitz, J. Otten, S. Schmitt. Guiding Program Development Systems by a Connection Based Proof Strategy. LoPSTR-5, LNCS 1048, pp. 137\u2013151. Springer, 1996."},{"key":"8_CR14","unstructured":"X. Leroy. The Objective Caml system release 1.07. Institut National de Recherche en Informatique et en Automatique, 1998."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"B. Pientka & C. Kreitz. Instantiation of existentially quantified variables in inductive specification proofs. AISC\u201998, LNAI 1476, pp. 247\u2013258, Springer, 1998.","DOI":"10.1007\/BFb0055917"},{"issue":"4","key":"8_CR16","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/227210.227229","volume":"39","author":"R. Renesse van","year":"1996","unstructured":"R. van Renesse, K. Birman, & S. Maffeis. Horus: A flexible group communication system. Communications of the ACM, 39(4):76\u201383, 1996.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T07:29:20Z","timestamp":1551079760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}