{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T07:10:03Z","timestamp":1737184203379,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429579"},{"type":"electronic","value":"9783540456537"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45653-8_9","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T04:57:30Z","timestamp":1181365050000},"page":"125-141","source":"Crossref","is-referenced-by-count":0,"title":["A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agents"],"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":[[2001,11,20]]},"reference":[{"key":"9_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"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0167-6423(90)90069-P","volume":"13","author":"R. R. J. Back","year":"1990","unstructured":"R. R. J. Back and K. Sere. Stepwise refinement of parallel algorithms. Science of Computer Programming, 13:133\u2013180, 1990.","journal-title":"Science of Computer Programming"},{"issue":"11","key":"9_CR3","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s002360050116","volume":"35","author":"R. R. J. Back","year":"1998","unstructured":"R. R. J. Back and Q. Xu. Refinement of fair action systems. Acta Informatica, 35(11):131\u2013165, 1998.","journal-title":"Acta Informatica"},{"key":"9_CR4","unstructured":"P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987."},{"issue":"3","key":"9_CR5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0167-6423(83)90013-8","volume":"2","author":"T. Elrad","year":"1982","unstructured":"T. Elrad and N. Francez. Decomposition of distributed programs into communication-closed layers. Science of Computer Programming, 2(3):155\u2013173, Dec. 1982.","journal-title":"Science of Computer Programming"},{"key":"9_CR6","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":"9_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-46432-8_8","volume-title":"Foundations of Software Science and Computation Structures","author":"K. Engelhardt","year":"2000","unstructured":"K. Engelhardt, R. van der Meyden, and Y. Moses. A program refinement framework supporting reasoning about knowledge and time. In J. Tiuryn, editor, Foundations of Software Science and Computation Structures, volume 1784 of LNCS, pages 114\u2013129. Springer-Verlag, Mar. 2000."},{"key":"9_CR8","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":"9_CR9","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":"4","key":"9_CR10","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BF01212407","volume":"5","author":"P. H. B. Gardiner","year":"1993","unstructured":"P. H. B. Gardiner and C. C. Morgan. A single complete rule for data refinement. Formal Aspects of Computing, 5(4):367\u2013382, 1993.","journal-title":"Formal Aspects of Computing"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"V. Hadzilacos. A knowledge-theoretic analysis of atomic commitment protocols. In Proceedings 6th ACM Symposium on Principles of Database Systems, pages 129\u2013134, 1987.","DOI":"10.1145\/28659.28672"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/PL00008916","volume":"13","author":"J. Y. Halpern","year":"2000","unstructured":"J. Y. Halpern. A note on knowledge-based programs and specifications. Distributed Computing, 13(3):145\u2013153, 2000.","journal-title":"Distributed Computing"},{"issue":"3","key":"9_CR13","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":"9_CR14","first-page":"97","volume-title":"Theoretical Aspects of Rationality and Knowledge, Proceedings of the Seventh Conference (TARK 1998)","author":"J. Y. Halpern","year":"1998","unstructured":"J. Y. Halpern and Y. Moses. Using counterfactuals in knowledge-based programming. In I. Gilboa, editor, Theoretical Aspects of Rationality and Knowledge, Proceedings of the Seventh Conference (TARK 1998), pages 97\u2013110, San Francisco, California, July 1998. Morgan Kaufmann."},{"key":"9_CR15","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":"9_CR16","doi-asserted-by":"crossref","unstructured":"W. Janssen. Layers as knowledge transitions in the design of distributed systems. In U. H. Engberg, K. G. Larsen, and A. Skou, editors, Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS (Aarhus, Denmark, 19\u201320 May, 1995), number NS-95-2 in Notes Series, pages 304\u2013318, Department of Computer Science, University of Aarhus, May 1995. BRICS.","DOI":"10.1007\/3-540-60630-0_12"},{"key":"9_CR17","unstructured":"N. A. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996."},{"key":"9_CR18","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":"9_CR19","unstructured":"C. C. Morgan. Programming from Specifications. Prentice Hall, 1990."},{"issue":"3","key":"9_CR20","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":"9_CR21","unstructured":"Y. Moses. Knowledge in a distributed environment. PhD thesis, Stanford University, 1986."},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/164051.164080","volume-title":"Proceeding of the 12th Annual ACM Symposium on Principles of Distributed Computing (PODC 93)","author":"Y. Moses","year":"1993","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."},{"key":"9_CR23","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":"9_CR24","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":"9_CR25","series-title":"Lect Notes Comput Sci","volume-title":"On refinement and temporal annotations","author":"R. Meyden van der","year":"2000","unstructured":"R. van der Meyden and Y. Moses. On refinement and temporal annotations. In M. Joseph, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000 Pune, India, September 20\u201322, Proceedings, volume 1926 of LNCS. Springer-Verlag, 2000."},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"N. Wirth. Program development by stepwise refinement. Communications of the ACM, 14:221\u2013227, 1971.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45653-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T04:22:51Z","timestamp":1737087771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45653-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429579","9783540456537"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45653-8_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}