{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:07:09Z","timestamp":1725548829961},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540241010"},{"type":"electronic","value":"9783540317944"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31794-4_13","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:11:12Z","timestamp":1267402272000},"page":"250-265","source":"Crossref","is-referenced-by-count":11,"title":["Verifying a Structured Peer-to-Peer Overlay Network: The Static Case"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Borgstr\u00f6m","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Nestmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Onana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dilian","family":"Gurov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"13_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Gordon, A.D.: A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation\u00a0148(1), 1\u201370 (1999)","journal-title":"Information and Computation"},{"key":"13_CR2","series-title":"ENTCS","volume-title":"Proceedings of EXPRESS 2000","author":"M. Berger","year":"2000","unstructured":"Berger, M., Honda, K.: The Two-Phase Commitment Protocol in an Extended pi-Calculus. In: Aceto, L., Victor, B. (eds.) Proceedings of EXPRESS 2000. ENTCS, vol.\u00a039.1. Elsevier Science Publishers, Amsterdam (2000)"},{"key":"13_CR3","volume-title":"Distributed Operating Systems, The Logical Design","author":"A. Goscinski","year":"1991","unstructured":"Goscinski, A.: Distributed Operating Systems, The Logical Design. Addison-Wesley, Reading (1991)"},{"key":"13_CR4","unstructured":"Ing\u00f3lfsd\u00f3ttir, A.: Semantic Models for Communicating Processes with Value-Passing. PhD thesis, University of Sussex, Available as Technical Report 8\/94 (1994)"},{"key":"13_CR5","unstructured":"Lynch, N.A., Tuttle, M.R.: An Introduction to Input\/Output Automata. Technical Report MIT\/LCS\/TM 373. MIT Press, Redmond (1998)"},{"key":"13_CR6","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Part I\/II. Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"13_CR8","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)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Onana Alima, L., El-Ansary, S., Brand, P., Haridi, S.: DKS (N, k, f): A Family of Low Communication, Scalable and Fault-Tolerant Infrastructures for P2P Applications. In: CCGRID 2003, pp. 344\u2013350 (2003)","DOI":"10.1109\/CCGRID.2003.1199386"},{"key":"13_CR10","unstructured":"Onana Alima, L., Ghodsi, A., El-Ansary, S., Brand, P., Haridi, S.: Design Principles for Structured Overlay Networks. Technical Report ISRN KTH\/IMIT\/LECS\/R-03\/01\u2013SE, KTH (2003)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/3-540-45518-3_18","volume-title":"Middleware 2001","author":"A. Rowstron","year":"2001","unstructured":"Rowstron, A., Druschel, P.: Pastry: Scalable, distributed object location and routing for large-scale peer-to-peer systems. In: Guerraoui, R. (ed.) Middleware 2001. LNCS, vol.\u00a02218, pp. 329\u2013350. Springer, Heidelberg (2001)"},{"key":"13_CR12","volume-title":"SIGCOMM 2001","author":"S. Ratnasamy","year":"2001","unstructured":"Ratnasamy, S., Francis, P., Handley, M., Karp, R., Shenker, S.: A Scalable Content Addressable Network. In: SIGCOMM 2001. ACM, San Diego (2001)"},{"key":"13_CR13","volume-title":"SIGCOMM 2001","author":"I. Stoica","year":"2001","unstructured":"Stoica, I., Morris, R., Karger, D., Kaashoek, M.F., Balakrishnan, H.: Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications. In: SIGCOMM 2001. ACM Press, San Diego (2001)"}],"container-title":["Lecture Notes in Computer Science","Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31794-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T13:18:14Z","timestamp":1558876694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31794-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540241010","9783540317944"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31794-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}