{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:36:32Z","timestamp":1725467792981},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650669"},{"type":"electronic","value":"9783540496939"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0056469","type":"book-chapter","created":{"date-parts":[[2006,7,30]],"date-time":"2006-07-30T08:37:41Z","timestamp":1154248661000},"page":"16-19","source":"Crossref","is-referenced-by-count":3,"title":["Top-down considerations on distributed computing"],"prefix":"10.1007","author":[{"given":"Ron","family":"van der Meyden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoram","family":"Moses","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,2]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Chou, C., Gafni, E.: Understanding and verifying distributed algorithms using stratified decomposition. Proc. 7th ACM PODC (1988) 44\u201365","key":"2_CR1","DOI":"10.1145\/62546.62556"},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/357195.357200","volume":"5","author":"R. Gallager","year":"1983","unstructured":"Gallager, R., Humblet, P., Spira, P.: A distributed algorithm for minimum-weight spanning trees. ACM Trans. on Prog. Lang. and Syst., 5(1) (1983) 66\u201377","journal-title":"ACM Trans. on Prog. Lang. and Syst."},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0167-6423(83)90013-8","volume":"2","author":"T. Elrad","year":"1982","unstructured":"Elrad, T., Francez, N.: Decomposition of distributed programs into communication-closed layers. Sci. Comp. Prog., 2(3) (1982) 155\u2013173","journal-title":"Sci. Comp. Prog."},{"key":"2_CR4","first-page":"544","volume":"700","author":"K. Havelund","year":"1993","unstructured":"Havelund, K., Larsen, K.G.: The fork calculus. Proc. 20th ICALP, LNCS 700 (1993) 544\u2013557","journal-title":"LNCS"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(88)90023-3","volume":"27","author":"R. Koo","year":"1988","unstructured":"Koo, R., Toueg, S.: Effects of message loss on termination of distributed protocols. Inf. Proc, Letters, 27 (1988) 181\u2013188","journal-title":"Inf. Proc, Letters"},{"issue":"6","key":"2_CR6","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1007\/BF03259394","volume":"6","author":"F. Stomp","year":"1994","unstructured":"Stomp, F., de Roever, W.P.: A principle for sequential reasoning about distributed systems. Form. Asp. Comp., 6(6) (1994) 716\u2013737","journal-title":"Form. Asp. Comp."},{"doi-asserted-by":"crossref","unstructured":"Zweirs, J., Janssen, W.: Partial-order based design of concurrent systems. Proc. REX Symp. \u201cA decade of concurrency\u201d, J. de Bakker, W. P. de Roever, G. Rozenberg eds., LNCS 803 (1994) 622\u2013684","key":"2_CR7","DOI":"10.1007\/3-540-58043-3_30"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0056469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T18:04:41Z","timestamp":1549908281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0056469"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650669","9783540496939"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0056469","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}