{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:06:56Z","timestamp":1725484016591},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679592"},{"type":"electronic","value":"9783540445180"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/3-540-44518-8_4","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T19:44:13Z","timestamp":1180208653000},"page":"34-49","source":"Crossref","is-referenced-by-count":2,"title":["On Verification of Refinements of Timed Distributed Algorithms"],"prefix":"10.1007","author":[{"given":"J.","family":"Cohen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Slissenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,26]]},"reference":[{"key":"4_CR1","series-title":"Technical Report","volume-title":"The existence of refinement mappings","author":"M. Abadi","year":"1988","unstructured":"M. Abadi and L. Lamport. The existence of refinement mappings. Technical Report29, DEC Systems Research Center, Palo Alto, California, August, 14 1988."},{"key":"4_CR2","unstructured":"E. B\u00f6rger, Y. Gurevich, and D. Rozenzweig. The bakery algorithm: Yet another specification and verification. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 231\u2013243. Oxford University Press, 1995."},{"issue":"6","key":"4_CR3","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1145\/268999.269004","volume":"44","author":"M. Broy","year":"1997","unstructured":"M. Broy. Compositional refinement of interactive systems. J. of the Assoc. Comput. Mach, 44(6):850\u2013891, 1997.","journal-title":"J. of the Assoc. Comput. Mach"},{"key":"4_CR4","unstructured":"D. Beauquier and A. Slissenko. A first order logic for specification of timed algorithms: Basic properties and a decidable class. 37 pages, 1999. To appear in J. of Pure and Applied Logic."},{"key":"4_CR5","unstructured":"G. Goos, A. Heberle, W. Loewe, and W. Zimmermann. On modular definitions and implementations of programming languages. In Proc. of the Intern. Workshop on Abstract State Machines (ASM\u20192000), March 20-24, 2000, Switzerland, Monte Verit\u00e1, Ticino, pages 174\u2013208. ETH, Z\u00fcrich, 2000."},{"key":"4_CR6","unstructured":"Y. Gurevich. Evolving algebra 1993: Lipari guide. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 9\u201393. Oxford University Press, 1995."},{"issue":"8","key":"4_CR7","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/361082.361093","volume":"17","author":"L. Lamport","year":"1974","unstructured":"L. Lamport. A new solution of Dijkstra\u2019s concurrent programming problem. Communications of ACM, 17(8):453\u2013455, 1974.","journal-title":"Communications of ACM"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/295558.295560","volume":"8","author":"J. Ostroff","year":"1999","unstructured":"J. Ostroff. Composition and refinement of discrete real-time systems. ACM Trans. on Software Engineering and Methodology, 8(1):1\u201348, 1999.","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Vol. B: Formal Models and Sematics, pages 677\u2013788. Elsevier Science Publishers B.V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines - Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44518-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T18:59:37Z","timestamp":1550343577000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44518-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679592","9783540445180"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-44518-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}