{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:45:27Z","timestamp":1725486327631},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654629"},{"type":"electronic","value":"9783540492535"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/3-540-49253-4_1","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T02:56:45Z","timestamp":1181185005000},"page":"1-7","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Duration Calculus, a Logical Approach to Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Zhou","family":"Chaochen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(94)00145-9","volume":"138","author":"M.R. Hansen","year":"1995","unstructured":"M.R. Hansen, P.K. Pandya and Zhou Chaochen, Finite Divergence, Theoretical Computer Science, vol 138, pp 113\u2013139, 1995","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"C.L. Liu and J.W. Layland, Scheduling Algorithm for Multiprogramming in a Hard Real-Time Environment, Journal of the ACM, vol 20, no 1, pp 46\u201361 1973","journal-title":"Journal of the ACM"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Liu Zhiming, A.P. Ravn, E.V. S\u00f8rensen and Zhou Chaochen, A Probabilistic Duration Calculus, Dependable Computing and Fault-Tolerant Systems Vol. 7: Responsive Computer Systems, H. Kopetz and Y. Kakuda (Eds.), pp 30\u201352, Springer-Verlag, 1993","DOI":"10.1007\/978-3-7091-9288-7_3"},{"key":"1_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BFb0055336","volume-title":"Proceedings of FTRTFT\u201998","author":"P. K. Pandya","year":"1998","unstructured":"Paritosh K. Pandya and Dang Van Hung. Duration Calculus with Weakly Monotonic Time, Proceedings of FTRTFT\u201998, LNCS 1486, pp 55\u201364, Springer-Verlag, 1998"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"A.P. Ravn, H. Rischel and K.M. Hansen, Specifying and Verifying Requirements of Real-Time Systems, IEEE Trans. Softw. Eng., 1993","DOI":"10.1109\/32.210306"},{"key":"1_CR6","unstructured":"E.V. S\u00f8rensen, A.P. Ravn and H. Rischel, Control Program for a Gas Burner: Part 1: Informal Requirements, ProCoS Case Study 1, ProCoS Rep. ID\/DTH EVS2\u201d, 1990"},{"key":"1_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0036915","volume-title":"ICALP\u201983","author":"J. Halpern","year":"1983","unstructured":"J. Halpern, B. Moskowski and Z. Manna, A Hardware Semantics based on Temporal Intervals, ICALP\u201983, LNCS 154, pp 278\u2013291, 1983"},{"key":"1_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1007\/3-540-58468-4_194","volume-title":"Proceedings of FTRTFT\u201994","author":"Z. Yuhua","year":"1994","unstructured":"Zheng Yuhua and Zhou Chaochen, A Formal Proof of the Deadline Driven Scheduler, Proceedings of FTRTFT\u201994, H. Langmack, W.-P. de Roever and J. Vytopil (Eds), LNCS 863, pp 756\u2013775, Springer-Verlag, 1994"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen and Michael R. Hansen, Chopping a Point, BCS-FACS 7th Refinement Workshop, Electronic Workshops in Computing, Springer-Verlag, 1996","DOI":"10.14236\/ewic\/RW1996.4"},{"key":"1_CR10","unstructured":"Zhou Chaochen and Michael R. Hansen, An Adequate First Order Logic of Intervals, Technical Report 91, UNU\/IIST, 1996"},{"issue":"5","key":"1_CR11","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen and C.A.R. Hoare and A.P. Ravn, A Calculus of Durations, Information Processing Letters, vol 40, no 5, pp 269\u2013276, 1991","journal-title":"Information Processing Letters"},{"key":"1_CR12","unstructured":"Zhou Chaochen and Li Xiaoshan, A Mean Value Calculus of Durations, A Classical Mind: Essays in Honour of C.A.R. Hoare, pp 431\u2013451, Prentice Hall International, 1994"},{"key":"1_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/3-540-57318-6_23","volume-title":"Hybrid Systems","author":"Z. Chaochen","year":"1993","unstructured":"Zhou Chaochen, A.P. Ravn and M.R. Hansen, An Extended Duration Calculus for Hybrid Systems, Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel (Eds.), LNCS 736, pp 36\u201359, Springer-Verlag, 1993"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49253-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T20:37:02Z","timestamp":1587587822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49253-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654629","9783540492535"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-49253-4_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"15 January 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}