{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T22:09:22Z","timestamp":1648678162255},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540438571","type":"print"},{"value":"9783540454427","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45442-x_7","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T04:55:08Z","timestamp":1179204908000},"page":"94-116","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about Timeouts"],"prefix":"10.1007","author":[{"given":"Ian J.","family":"Hayes","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"7_CR1","unstructured":"S. Dunne. Abstract commands: A uniform notation for specification and implementation. In C.J. Fidge, editor, Computing: The Australian Theory Symposium (CATS 2001), volume 42 of Electronic Notes in Theoretical Computer Science, pages 104\u2013123. Elsevier, 2001."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"C.J. Fidge, I.J. Hayes, and G. Watson. The deadline command. IEE Proceedings-Software, 146(2):104\u2013111, April 1999.","DOI":"10.1049\/ip-sen:19990407"},{"key":"7_CR3","unstructured":"S. Grundon, I.J. Hayes, and C.J. Fidge. Timing constraint analysis. In C. McDonald, editor, Computer Science\u201998: Proc. 21st Australasian Computer Sci. Conf. (ACSC\u201998), Perth, 4-6 Feb., pages 575\u2013586. Springer, 1998."},{"key":"7_CR4","unstructured":"I.J. Hayes. Separating timing and calculation in real-time refinement. In J. Grundy, M. Schwenke, and T. Vickers, editors, Int. Refinement Workshop and Formal Methods Pacific 1998, pages 1\u201316. Springer, 1998."},{"key":"7_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/10722010_5","volume-title":"Proc. Mathematics of Program Construction","author":"I.J. Hayes","year":"2000","unstructured":"I.J. Hayes. Reasoning about non-terminating loops using deadline commands. In R. Backhouse and J.N. Oliveira, editors, Proc. Mathematics of Program Construction, volume 1837 of Lecture Notes in Computer Science, pages 60\u201379. Springer, 2000."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"I.J. Hayes. A predicative semantics for real-time refinement. In A. McIver and C.C. Morgan, editors, Essays in Programming Methodology. Springer, 2002.","DOI":"10.1007\/978-0-387-21798-7_6"},{"issue":"2\u20133","key":"7_CR7","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0167-6423(02)00024-2","volume":"43","author":"I.J. Hayes","year":"2002","unstructured":"I.J. Hayes. Reasoning about real-time repetitions: Terminating and nonterminating. Science of Computer Programming, 43(2\u20133):161\u2013192, April 2002.","journal-title":"Science of Computer Programming"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"I.J. Hayes and M. Utting. Coercing real-time refinement: A transmitter. In D.J. Duke and A.S. Evans, editors, BCS-FACS Northern Formal Methods Workshop (NFMW\u201996). Springer, 1997.","DOI":"10.14236\/ewic\/FA1996.9"},{"issue":"6","key":"7_CR9","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/PL00013311","volume":"37","author":"I.J. Hayes","year":"2001","unstructured":"I.J. Hayes and M. Utting. A sequential real-time refinement calculus. Acta Informatica, 37(6):385\u2013448, 2001.","journal-title":"Acta Informatica"},{"key":"7_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/3-540-51305-1_3","volume-title":"Mathematics of Program Construction","author":"E.C.R. Hehner","year":"1989","unstructured":"E.C.R. Hehner. Termination is timing. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, volume 375 of Lecture Notes in Computer Science, pages 36\u201347. Springer, June 1989."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"E.C.R. Hehner. A Practical Theory of Programming. Springer, 1993.","DOI":"10.1007\/978-1-4419-8596-5"},{"key":"7_CR12","unstructured":"C.A.R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice Hall, 1998."},{"key":"7_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-54947-1","volume-title":"Specification and Compositional Verification of Real-Time Systems","author":"J. Hooman","year":"1991","unstructured":"J. Hooman. Specification and Compositional Verification of Real-Time Systems, volume 558 of Lecture Notes in Computer Science. Springer-Verlag, 1991."},{"key":"7_CR14","unstructured":"C.B. Jones. Program specification and verification in VDM. Technical Report UMCS-86-10-5, Department of Computer Science, University of Manchester, 1986."},{"key":"7_CR15","unstructured":"C.C. Morgan. Programming from Specifications. Prentice Hall, second edition, 1994."},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/0167-6423(90)90024-8","volume":"14","author":"C.C. Morgan","year":"1990","unstructured":"C.C. Morgan and T.N. Vickers. Types and invariants in the refinement calculus. Science of Computer Programming, 14:281\u2013304, 1990.","journal-title":"Science of Computer Programming"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"C.C. Morgan and T.N. Vickers. Types and invariants in the refinement calculus. In C.C. Morgan and T.N. Vickers, editors, On the Refinement Calculus, pages 127\u2013154. Springer-Verlag, 1994. Originally published as [16].","DOI":"10.1007\/978-1-4471-3273-8_9"},{"key":"7_CR18","unstructured":"S. Schneider. Specification and verification in timed CSP. In M. Joseph, editor, Real-time Systems: Specification, Verification and Analysis, chapter 6, pages 147\u2013181. Prentice Hall, 1996."},{"key":"7_CR19","unstructured":"S. Schneider. Concurrent and Real-time Systems: The CSP Approach. Wiley, 2000."},{"key":"7_CR20","series-title":"PhD thesis","volume-title":"A Refinement Calculus for Real-Time Systems","author":"D.J. Scholefield","year":"1992","unstructured":"D.J. Scholefield. A Refinement Calculus for Real-Time Systems. PhD thesis, Department of Computer Science, University of York, U.K., 1992."},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0304-3975(94)90096-5","volume":"131","author":"D.J. Scholefield","year":"1994","unstructured":"D.J. Scholefield, H. Zedan, and He Jifeng. A specification-oriented semantics for the refinement of real-time systems. Theoretical Computer Science, 131:219\u2013241, 1994.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45442-X_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:54:00Z","timestamp":1587516840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45442-X_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438571","9783540454427"],"references-count":21,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-45442-x_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"published":{"date-parts":[[2002]]}}}