{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T08:40:13Z","timestamp":1737535213375,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_16","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T17:26:02Z","timestamp":1194974762000},"page":"185-202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Refinement and Temporal Annotations"],"prefix":"10.1007","author":[{"given":"Ron","family":"van der Meyden","sequence":"first","affiliation":[]},{"given":"Yoram","family":"Moses","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"R. J. Back and vonWright. Refinement Calculus: A systematic approach. Graduate Texts in Computer Science. Springer Verlag, 1998.","DOI":"10.1007\/978-1-4612-1674-2_12"},{"key":"16_CR2","unstructured":"K. Engelhardt, R. van der Meyden, and Y. Moses. Knowledge and the logic of local propositions. In I. Gilboa, editor, Proc. Conf on Theoretical Aspects of Reasoning about Knowledge, pages 29\u201341. Morgan Kauffman, July 1998."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"K. Engelhardt, R. van der Meyden, and Y. Moses. A refinement framework supporting reasoning about knowledge and time. In Proc. of FOSSACS\u2019 2000. Springer Verlag, March 2000.","DOI":"10.1007\/3-540-46432-8_8"},{"key":"16_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 1995."},{"issue":"1-3","key":"16_CR5","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/S0019-9958(86)80038-9","volume":"68","author":"S. Graf","year":"1986","unstructured":"S. Graf and J. Sifakis. Alogic for the description of non-deterministic programs and their properties. Information and Control, 68(1-3):254\u2013270, January\/February\/March 1986.","journal-title":"Information and Control"},{"key":"16_CR6","unstructured":"I. Hayes. Separating timing and calculation in real-time refinement. In J. Grundy et al, editor, International Refinement Workshop & Formal Methods Pacific, Proc. IRW\/FMP\u201998, Series in Discrete Mathematics and Theoretical Computer Science, 1998."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"K. Havelund and K. Larsen. A refinement logic for the fork calculus. In S. T. Vuong and S. T. Chanson, editors, Protocol Specification, Testing and Verification XIV, pages 5\u201320. Chapman and Hall, 1995. IFIP WG 6.1 Symposium.","DOI":"10.1007\/978-0-387-34867-4_1"},{"key":"16_CR8","first-page":"516","volume":"12","author":"C.A.R. Hoare","year":"1967","unstructured":"C.A.R. Hoare. An axiomatic basis for computer programming. Comm. ACM, 12:516\u2013580, 1967.","journal-title":"Comm. ACM"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/BF01887208","volume":"1","author":"S. Holstr\u00f6m","year":"1989","unstructured":"S. Holstr\u00f6m. A refinement calculus for specifications in Henessy-Milner logic with recursion. Formal Aspects of Computing, 1:242\u2013272, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"16_CR10","unstructured":"I. Hayes and M. Utting. A sequential real-time refinement calculus. Technical Report UQ-SVRC-97-33, Software Verification Research Centre, University of Queensland, 1997. URL http:\/\/www.svrc.it.uq.edu.au\/ ."},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, May 1994. Also appeared as DEC SRC Research Report 79.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Y. Moses and O. Kislev. Knowledge-oriented programming. In Proc. 12th ACM Symp. on Principles of Distributed Computing, pages 261\u2013270, 1993.","DOI":"10.1145\/164051.164080"},{"key":"16_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/BFb0056469","volume-title":"Top-down considerations on distributed systems","author":"R. Meyden van der","year":"1998","unstructured":"R. van der Meyden and Y. Moses. Top-down considerations on distributed systems. In Proc. 12th Int. Symp. on Distributed Computing, DISC\u201998, pages 16\u201319, Andros, Greece, Sept 1998. Springer LNCS No. 1499."},{"issue":"3","key":"16_CR14","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J. M. Morris","year":"1987","unstructured":"J. M. Morris. A theoretical basis for refinement and the programming calculus. Science of Computer Programming, 9(3):287\u2013306, 1987.","journal-title":"Science of Computer Programming"},{"key":"16_CR15","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1990","unstructured":"C. Morgan. Programming from Specifications. Prentice Hall, New York, 1990."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"M. Utting and C. Fidge. Areal-time refinement calculus that changes only time. In He Jifeng, editor, Proc. 7th BCS\/FACS Refinement Workshop, Electronic Workshops in Computing. Springer, 1996.","DOI":"10.14236\/ewic\/RW1996.14"},{"key":"16_CR17","unstructured":"M. Utting and C. Fidge. Refinement of infeasible real-time programs. In Proc. Formal Methods Pacific\u2019 97, Series in Discrete Mathematics and Theoretical Computer Science, pages 243\u2013262, 1997."},{"key":"16_CR18","doi-asserted-by":"crossref","first-page":"401","DOI":"10.3233\/FI-1986-9403","volume":"IX","author":"G. Winskel","year":"1986","unstructured":"G. Winskel. Acomplete proof system for SCSS with modal assertions. Fundamenta Informaticae, IX:401\u2013419, 1986.","journal-title":"Fundamenta Informaticae"}],"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_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T07:56:38Z","timestamp":1737532598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_16","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"}}]}}