{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:10:22Z","timestamp":1737288622638,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672579"},{"type":"electronic","value":"9783540464327"}],"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-46432-8_8","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:22:02Z","timestamp":1184602922000},"page":"114-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A Program Refinement Framework Supporting Reasoning about Knowledge and Time"],"prefix":"10.1007","author":[{"given":"Kai","family":"Engelhardt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ron","family":"van der Meyden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoram","family":"Moses","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"R.-J. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science. Springer-Verlag, 1998.","DOI":"10.1007\/978-1-4612-1674-2_1"},{"issue":"5","key":"8_CR2","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1145\/265910.265912","volume":"44","author":"R. I. Brafman","year":"1997","unstructured":"R. I. Brafman, J.-C. Latombe, Y. Moses, and Y. Shoham. Applications of a logic of knowledge to motion planning under uncertainty. Journal of the ACM, 44(5):633\u2013668, Sept. 1997.","journal-title":"Journal of the ACM"},{"key":"8_CR3","unstructured":"K. Engelhardt, R. van der Meyden, and Y. Moses. Knowledge and the logic of local propositions. In I. Gilboa, editor, Theoretical Aspects of Rationality and Knowledge, Proceedings of the Seventh Conference (TARK 1998), pages 29\u201341. Morgan Kaufmann, July 1998."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. MIT-Press, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"issue":"4","key":"8_CR5","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s004460050038","volume":"10","author":"R. Fagin","year":"1997","unstructured":"R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Knowledge-based programs. Distributed Computing, 10(4):199\u2013225, 1997.","journal-title":"Distributed Computing"},{"issue":"3","key":"8_CR6","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J. Y. Halpern","year":"1990","unstructured":"J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549\u2013587, July 1990.","journal-title":"Journal of the ACM"},{"key":"8_CR7","unstructured":"I. Hayes. Separating timing and calculation in real-time refinement. In J. Grundy, M. Schwenke, and T. Vickers, editors, International Refinement Workshop and Formal Methods Pacific 1998, Discrete Mathematics and Theoretical Computer Science, pages 1\u201316. Springer-Verlag, 1998."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"8_CR9","unstructured":"C. C. Morgan. Programming from Specifications. Prentice Hall, 1990."},{"issue":"3","key":"8_CR10","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 stepwise refinement and the programming calculus. Science of Computer Programming, 9(3):287\u2013306, Dec. 1987.","journal-title":"Science of Computer Programming"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Y. Moses and O. Kislev. Knowledge-oriented programming. In Proceeding of the 12th Annual ACM Symposium on Principles of Distributed Computing (PODC 93), pages 261\u2013270, New York, USA, Aug. 1993. ACM Press.","DOI":"10.1145\/164051.164080"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01762112","volume":"3","author":"Y. Moses","year":"1988","unstructured":"Y. Moses and M. R. Tuttle. Programming simultaneous actions using common knowledge. Algorithmica, 3:121\u2013169, 1988.","journal-title":"Algorithmica"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"B. Sanders. A predicate transformer approach to knowledge and knowledge-based protocols. In Proceeding of the 10th Annual ACM Symposium on Principles of Distributed Computing (PODC 91), pages 217\u2013230, 19\u201321 Aug. 1991.","DOI":"10.1145\/112600.112619"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"M. Utting and C. Fidge. A real-time refinement calculus that changes only time. In H. Jifeng, J. Cooke, and P. Wallis, editors, BCS-FACS Seventh Refinement Workshop. Springer-Verlag, 1996.","DOI":"10.14236\/ewic\/RW1996.14"},{"key":"8_CR15","unstructured":"R. van der Meyden. Knowledge based programs: On the complexity of perfect recall in finite environments. In Y. Shoham, editor, Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, pages 31\u201350. Morgan Kaufmann, Mar. 17\u201320 1996."},{"key":"8_CR16","unstructured":"R. van der Meyden and Y. Moses. On refinement and temporal annotations. http:\/\/www.cse.unsw.edu.au\/~meyden\/research\/temprefine.ps ."},{"key":"8_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/BFb0056469","volume-title":"Proceedings 12th International Symposium on Distributed Computing, DISC\u201998","author":"R. Meyden van der","year":"1998","unstructured":"R. van der Meyden and Y. Moses. Top-down considerations on distributed systems. In Proceedings 12th International Symposium on Distributed Computing, DISC\u201998, volume 1499 of LNCS, pages 16\u201319, Sept. 1998. Springer-Verlag."},{"key":"8_CR18","unstructured":"M. Y. Vardi. Implementing knowledge-basd programs. In Y. Shoham, editor, Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, pages 15\u201330. Morgan Kaufmann, Mar. 17\u201320 1996."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46432-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T11:55:46Z","timestamp":1737287746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46432-8_8"}},"subtitle":["(Preliminary Report)"],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672579","9783540464327"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-46432-8_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"19 May 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}