{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:25:19Z","timestamp":1747578319439},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":[[1995]]},"DOI":"10.1007\/3-540-60249-6_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:57:26Z","timestamp":1330279046000},"page":"16-41","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["A duration calculus with infinite intervals"],"prefix":"10.1007","author":[{"given":"Zhou","family":"Chaochen","sequence":"first","affiliation":[]},{"given":"Dang","family":"Van Hung","sequence":"additional","affiliation":[]},{"given":"Li","family":"Xiaoshan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"2_CR1","unstructured":"Dang Van Hung and Zhou Chaochen: Probabilistic Duration Calculus for Continuous Time. UNU\/IIST Report No. 25, 1994."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"M. Engel, M. Kubica, J. Madey, D.J. Parnas, A.P. Ravn and A.J. van Schouwen: A Formal Approach to Computer Systems Requirements Documentation. In Proc. the Workshop on Theory of Hybrid Systems, LNCS 736, R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (Editors), pp. 452\u2013474, 1993.","DOI":"10.1007\/3-540-57318-6_40"},{"key":"2_CR3","unstructured":"M. Engel and H. Rischel: Dagstuhl-Seminar Specification Problem \u2014 a Duration Calculus Solution. Personal communication, September 1994."},{"issue":"No.6A","key":"2_CR4","doi-asserted-by":"crossref","first-page":"826","DOI":"10.1007\/BF01213605","volume":"6","author":"M.R. Hansen","year":"1994","unstructured":"M.R. Hansen: Model-Checking Discrete Duration Calculus. In Formal Aspects of Computing. Vol. 6, No. 6A, pp. 826\u2013845, 1994.","journal-title":"Formal Aspects of Computing"},{"key":"2_CR5","doi-asserted-by":"crossref","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. In Theoretical Computer Science, Vol.138, pp 113\u2013139, 1995.","journal-title":"Theoretical Computer Science"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"M.R. Hansen and Zhou Chaochen: Semantics and Completeness of Duration Calculus. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, J.W. de Bakker, C. Huizing, W.-P. de Roever and G. Rozenberg (Editors), pp. 209\u2013225, 1992.","DOI":"10.1007\/BFb0031994"},{"key":"2_CR7","unstructured":"M.R. Hansen, Zhou Chaochen and J. Staunstrup: A Real-Time Duration Semantics for Circuits. In Proc. of the 1992 ACM\/SIGDA Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton, March 1992."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"He Jifeng and J. Bowen: Time Interval Semantics and Implementation of A Real-Time Programming Language. In Proc. 4th Euromicro Workshop on Real Time Systems, IEEE Press, June 1992.","DOI":"10.1109\/EMWRT.1992.637480"},{"key":"2_CR9","unstructured":"He Weidong and Zhou Chaochen: A Case Study of Optimization. UNU\/IIST Report No. 34, December 1994."},{"key":"2_CR10","unstructured":"C.A.R. Hoare: Communicating Sequential Processes. Prentice Hall International (UK) Ltd., 1985."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis and S. Yovine: Integration Graphs: A Class of Decidable Hybrid Systems. In Hybrid Systems, LNCS 736, R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (Editors), pp. 179\u2013208, 1993.","DOI":"10.1007\/3-540-57318-6_29"},{"key":"2_CR12","unstructured":"B.C. Kuo: Automatic Control Systems (sixth edition), Prentice-Hall International Inc., 1991."},{"key":"2_CR13","unstructured":"Liu Zhiming, A.P. Ravn, E.V. S\u00f8rensen and Zhou Chaochen: A Probabilistic Duration Calculus. In, Dependable Computing and Fault-Tolerant Systems Vol. 7: Responsive Computer Systems. H. Kopetz and Y. Kakuda (Editor), pp. 30\u201352, Springer Verlag, 1993."},{"key":"2_CR14","unstructured":"Liu Zhiming, A.P. Ravn, E.V. S\u00f8rensen and Zhou Chaochen: Towards a Calculus of Systems Dependability. In Journal of High Integrity System, Vol. 1, No. 1, Oxford University Press, pp. 49\u201365, 1994."},{"issue":"No.2","key":"2_CR15","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"B. Moszkowski: A Temporal Logic for Multilevel Reasoning about Hardware. In IEEE Computer, Vol. 18, No. 2, pp. 10\u201319, 1985.","journal-title":"IEEE Computer"},{"key":"2_CR16","first-page":"307","volume-title":"Programming Concepts, Methods and Calculi (A-56)","author":"B. Moszkowski","year":"1994","unstructured":"B. Moszkowski: Some Very Compositional Temporal Properties, In Programming Concepts, Methods and Calculi (A-56), E.-R. Olderog (Editor), Elsevier Science B.V. (North-Holland), pp. 307\u2013326, 1994."},{"key":"2_CR17","volume-title":"Technical Report EE\/0495\/M1","author":"B. Moszkowski","year":"1995","unstructured":"B. Moszkowski: Compositional Reasoning about Projected and Infinite Time, Technical Report EE\/0495\/M1, Department of Electrical and Electronic Engineering, University of Newcastle upon Tyne, U.K., 1995."},{"key":"2_CR18","volume-title":"Technical Report TR-95-1","author":"P.H. Pandya","year":"1994","unstructured":"P.H. Pandya: Weak Chop Inverses and Liveness in Duration Calculus. Technical Report TR-95-1, Computer Science Group, TIFR, India, 1994."},{"key":"2_CR19","first-page":"147","volume":"2","author":"A.P. Ravn","year":"1991","unstructured":"A.P. Ravn and H. Rischel: Requirements Capture for Embedded Real-Time Systems. In Proc. IMACS-MCTS'91 Symp. Modelling and Control of Technological Systems, Vol. 2, pp. 147\u2013152, Villeneuve d'Ascq, France, 1991.","journal-title":"Proc. IMACS-MCTS'91 Symp. Modelling and Control of Technological Systems"},{"issue":"No.1","key":"2_CR20","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/32.210306","volume":"19","author":"A.P. Ravn","year":"1993","unstructured":"A.P. Ravn, H. Rischel and K.M. Hansen: Specifying and Verifying Requirements of Real-Time Systems. In IEEE Trans. Software Eng., Vol. 19, No. 1, pp. 41\u201355, January 1993.","journal-title":"IEEE Trans. Software Eng."},{"key":"2_CR21","unstructured":"R. Rosner and A. Pnueli: A Choppy Logic. In First Annual IEEE Symposium on Logic In Computer Science, pp 306\u2013314, IEEE Computer Society Press, June, 1986."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"J.U. Skakkeb\u00e6k: Liveness and Fairness in Duration Calculus. In CONCUR'94: Concurrency Theory, LNCS 836, B. Jonsson and J. Parrow(Editors), pp. 283\u2013298, 1994.","DOI":"10.1007\/978-3-540-48654-1_23"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"J.U. Skakkeb\u00e6k, A.P. Ravn, H. Rischel and Zhou Chaochen: Specification of Embedded Real-Time Systems. In Proc. 4th Euromicro Workshop on Real-Time Systems, pp. 116\u2013121, IEEE Press, June 1992.","DOI":"10.1109\/EMWRT.1992.637481"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"J.U. Skakkeb\u00e6k and N. Shankar: Towards a Duration Calculus Proof Assistant in PVS. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, H. Langmaack, W.-P. de Roever and J. Vytopil (Editors), pp. 660\u2013679, Sept. 1994.","DOI":"10.1007\/3-540-58468-4_189"},{"key":"2_CR25","unstructured":"J.U. Skakkeb\u00e6k, and P. Sestoft: Checking Validity of Duration Calculus Formulas. ProCoS II Report ID\/DTH JUS 3\/1, January 1993"},{"issue":"No.4","key":"2_CR26","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/logcom\/1.4.453","volume":"1","author":"Y. Venema","year":"1991","unstructured":"Y. Venema: A Modal Logic for Chopping Intervals. In Journal of Logic Computation, Vol. 1, No. 4, pp. 453\u2013476, 1991.","journal-title":"Journal of Logic Computation"},{"key":"2_CR27","first-page":"2","volume":"53","author":"H. Weyl","year":"1946","unstructured":"H. Weyl: Mathematics and Logic. A Brief Survey Serving as a Preface to a View of \u201cThe Philosophy of Bertrand Russell\u201d. In Amer. Math. Monthly, Vol. 53, pp. 2\u201313, 1946.","journal-title":"Amer. Math. Monthly"},{"key":"2_CR28","unstructured":"B.H. Widjaja, Chen Zongji, He Weidong and Zhou Chaochen: A Cooperative Design for Hybrid Control System. UNU\/IIST Report No.36, 1995."},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Yu Huiqun, P.K. Pandya and Sun Yongqiang: A Calculus for Hybrid Sampled Data Systems. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, H. Langmaack, W.-P. de Roever and J. Vytopil (Editors), pp. 716\u2013737, Sept. 1994.","DOI":"10.1007\/3-540-58468-4_192"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Yu Xinyao, Wang Ji, Zhou Chaochen and P.K. Pandya: Formal Design of Hybrid Systems. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, H. Langmaack, W.-P. de Roever and J. Vytopil (Editors), pp. 738\u2013755, Sept. 1994.","DOI":"10.1007\/3-540-58468-4_193"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Zheng Yuhua and Zhou Chaochen: A Formal Proof of the Deadline Driven Scheduler. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, H. Langmaack, W.-P. de Roever and J. Vytopil (Editors), pp. 756\u2013775, Sept. 1994.","DOI":"10.1007\/3-540-58468-4_194"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen: Duration Calculi: An Overview. In the Proceedings of Formal Methods in Programming and Their Applications, LNCS 735, D. Bj\u00f8rner, M. Broy and I.V. Pottosin (Editors), pp. 256\u2013266, July 1993.","DOI":"10.1007\/BFb0039713"},{"issue":"No.5","key":"2_CR33","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C.A.R. Hoare and A.P. Ravn: A Calculus of Durations. In Information Processing Letters, Vol. 40, No. 5, pp. 269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, M.R. Hansen, A.P. Ravn and H. Rischel: Duration Specifications for Shared Processors. In Proc. of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, J. Vytopil (Editor), pp. 21\u201332, January 1992.","DOI":"10.1007\/3-540-55092-5_2"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, M.R. Hansen and P. Sestoft: Decidability and Undecidability Results for Duration Calculus. In Proc. of STACS '93. 10th Symposium on Theoretical Aspects of Computer Science, LNCS 665, P. Enjalbert, A. Finkel and K.W. Wagner (Editor), pp. 58\u201368, Feb. 1993.","DOI":"10.1007\/3-540-56503-5_8"},{"key":"2_CR36","unstructured":"Zhou Chaochen and Li Xiaoshan: Infinite Duration Calculus. Draft, August 1992."},{"key":"2_CR37","unstructured":"Zhou Chaochen and Li Xiaoshan: A Mean Value Calculus of Durations. In A Classical Mind (Essays in Honour of C.A.R. Hoare), A.W.Roscoe (Editor), Prentice-Hall, pp. 431\u2013451,1994."},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, A.P. Ravn and M.R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems. In Hybrid Systems, LNCS 736, R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (Editors), pp. 36\u201359, 1993.","DOI":"10.1007\/3-540-57318-6_23"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, Zhang Jingzhong, Yang Lu and Li Xiaoshan: Linear Duration Invariants. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, H. Langmaack, W.-P. de Roever and J. Vytopil (Editors), pp. 86\u2013109, Sept. 1994.","DOI":"10.1007\/3-540-58468-4_161"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60249-6_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:26:33Z","timestamp":1558268793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}