{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:04:46Z","timestamp":1725494686832},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45352-0_2","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T12:26:02Z","timestamp":1194956762000},"page":"12-17","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Issues in the Refinement of Distributed Programs"],"prefix":"10.1007","author":[{"given":"Yoram","family":"Moses","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"2_CR1","unstructured":"Attiya, C., Welch, J.L.: Distributed Computing: Fundamentals, Simulations and Advanced Topics. McGraw-Hill (1998)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Back, R. J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer Verlag Graduate Texts in Comp. Sci. (1998)","DOI":"10.1007\/978-1-4612-1674-2_1"},{"key":"2_CR3","unstructured":"Chou, C., Gafni, E.: Understanding and verifying distributed algorithms using stratified decomposition. Proc. 7th ACM PODC (1988) 44\u201365"},{"key":"2_CR4","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall (1976)"},{"key":"2_CR5","unstructured":"Engelhardt, K., van der Meyden, R., and Moses, Y.: Knowledge and the logic of local propositions, Proc. 7th Conf. on Theor. Aspects of Reasoning about Knowledge (TARK), Gilboa, T. Ed., Morgan Kaufmann (1998) 29\u201342"},{"key":"2_CR6","unstructured":"Engelhardt, K., van der Meyden, R., and Moses, Y.: A program refinement framework supporting reasoning about knowledge an time. Foundations of Software Science and Computations Structures, Tjuryn J. Ed., Springer Verlag (2000) 114\u2013129"},{"issue":"1","key":"2_CR7","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/357084.357087","volume":"2","author":"N. Francez","year":"1980","unstructured":"Francez, N.: Distributed Termination. ACM Trans. Prog. Lang. and Syst., 2(1) (1980) 42\u201355","journal-title":"ACM Trans. Prog. Lang. and Syst."},{"issue":"1","key":"2_CR8","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_CR9","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_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1007\/3-540-56939-1_101","volume-title":"The fork calculus","author":"K. Havelund","year":"1993","unstructured":"Havelund, K., Larsen, K.G.: The fork calculus. Proc. 20th ICALP, LNCS 700 (1993) 544\u2013557"},{"key":"2_CR11","doi-asserted-by":"crossref","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"},{"key":"2_CR12","unstructured":"Lynch, N.A.: Distributed Algorithms, Morgan Kaufmann Publishers (1996)"},{"key":"2_CR13","unstructured":"van der Meyden, R., Moses, Y.: On refinement and temporal annotations, this volume."},{"key":"2_CR14","unstructured":"Morgan, C.: Programming from Specifications-2nd ed. Prentice Hall (1994)"},{"issue":"6","key":"2_CR15","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."},{"key":"2_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1007\/3-540-58043-3_30","volume-title":"Proc. REX Symp. \u201c A decade of concurrency\u201d","author":"J. Zweirs","year":"1994","unstructured":"Zweirs, J., Janssen, W.: Partial-order based design of concurrent systems. Proc. REX Symp. \u201c A decade of concurrency\u201d, J. de Bakker, W. P. de Roever, G. Rozenberg eds., LNCS 803 (1994) 622\u2013684"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45352-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:46:58Z","timestamp":1558262818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_2"}},"subtitle":["(Invited Talk)"],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"22 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}