{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:12Z","timestamp":1761611172565,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573166"},{"type":"electronic","value":"9783540480563"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"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":[[1993]]},"DOI":"10.1007\/bfb0039713","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T09:17:03Z","timestamp":1138180623000},"page":"256-266","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":26,"title":["Duration Calculi: An overview"],"prefix":"10.1007","author":[{"given":"Zhou","family":"Chaochen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"M. Engel, M. Kubica, J. Madey, D.J. Parnas, A.P. Ravn, A.J. van Schouwen: A Formal Approach to Computer Systems Requirements Documentation, presented in the Workshop on Theory of Hybrid Systems, Lyngby, Denmark, 19\u201320 Oct. 1992","DOI":"10.1007\/3-540-57318-6_40"},{"key":"18_CR2","unstructured":"M.R. Hansen, Zhou Chaochen, J. Staunstrup: A Real-Time Duration Semantics for Circuits, Proc. of the Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton, March 1992"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"M.R. Hansen, Zhou Chaochen: Semantics and Completeness of Duration Calculus, J.W. de Bakker, C. Huizing, W.-P. de Roever, G. Rozenberg, (Eds) Real-Time: Theory in Practice, REX Workshop, LNCS 600, pp 209\u2013225, 1992","DOI":"10.1007\/BFb0031994"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"He Jifeng, J. Bowen: Time Interval Semantics and Implementation of a Real \u2014 Time Programming Language, Proc. 4th Euromicro Workshop on Real-Time Systems, IEEE Press, June 1992","DOI":"10.1109\/EMWRT.1992.637480"},{"key":"18_CR5","first-page":"30","volume-title":"Dependable Computing and Fault-Tolerant Systems Vol. 7: Responsive Computer Systems","author":"L. Zhiming","year":"1993","unstructured":"Liu Zhiming, A.P. Ravn, E.V. S\u00f8rensen, Zhou Chaochen: A Probabilistic Duration Calculus, presented in the 2nd Intl. Workshop on Responsive Computer Systems, Saitama, Japan, Oct. 1\u20132, 1992, published in H. Kopetz and Y. Kakuda (eds), Dependable Computing and Fault-Tolerant Systems Vol. 7: Responsive Computer Systems, pp 30\u201352. Springer-Verlag Wien New York, 1993."},{"key":"18_CR6","volume-title":"High Integrity Systems Journal","author":"L. Zhiming","year":"1992","unstructured":"Liu Zhiming, A.P. Ravn, E.V. S\u00f8rensen, Zhou Chaochen: Towards a Calculus of Systems Dependability, presented in the Workshop on Theory of Hybrid Systems, Lyngby, Denmark, 19\u201320 Oct. 1992. accepted by High Integrity Systems Journal, Oxford University Press."},{"issue":"2","key":"18_CR7","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 Multi-level Reasoning about Hardware. In IEEE Computer, Vol. 18(2), pp 10\u201319, 1985.","journal-title":"IEEE Computer"},{"key":"18_CR8","first-page":"147","volume-title":"Requirements Capture for Embedded Real-Time Systems","author":"A.P. Ravn","year":"1991","unstructured":"A.P. Ravn, H. Rischel: Requirements Capture for Embedded Real-Time Systems, Proc. IMACS-MCTS'91 Symp. Modelling and Control of Technological Systems, Vol 2, pp. 147\u2013152, Villeneuve d'Ascq, France, 1991"},{"issue":"No5","key":"18_CR9","first-page":"44","volume":"15","author":"A.P. Ravn","year":"1991","unstructured":"A.P. Ravn, H. Rischel, K.M. Hansen: Specifying and Verifying Requirements of Real-Time Systems, Proceedings of the ACM SIGSOFT'91 Conference on Software for Critical Systems, New Orleans, December 4\u20136, 1991, ACM Software Engineering Notes, Vol 15, No 5, pp 44\u201354, 1991 (published also in IEEE Trans. Software Eng., Vol 19, No 1, pp 41\u201355, January 1993)","journal-title":"ACM Software Engineering Notes"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"J.U. Skakkeb\u00e6k, A.P. Ravn, H. Rischel, Zhou Chaochen: Specification of Embedded Real-Time Systems, Proc. 4th Euromicro Workshop on Real-Time Systems, IEEE Press, pp 116\u2013121, June 1992","DOI":"10.1109\/EMWRT.1992.637481"},{"key":"18_CR11","unstructured":"J.U. Skakkeb\u00e6k, P. Sestoft: Checking Validity of Duration Calculus Formulas, submitted to Conference on Computer-Aided Verification, Crete, June 1993"},{"key":"18_CR12","first-page":"21","volume":"571","author":"Z. Chaochen","year":"1992","unstructured":"Zhou Chaochen, M.R. Hansen, A.P. Ravn, H. Rischel: Duration Specifications for Shared Processors, Proc. of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen, January 1992, LNCS 571, pp 21\u201332, 1992","journal-title":"LNCS"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, M.R. Hansen, P. Sestoft: Decidability and Undecidability Results for Duration Calculus, Proc. of STACS '93. 10th Symposium on Theoretical Aspects of Computer Science, W\u00fcrzburg, Feb. 1993","DOI":"10.1007\/3-540-56503-5_8"},{"issue":"5","key":"18_CR14","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, A.P. Ravn: A Calculus of Durations, Information Processing Letter, 40, 5, pp. 269\u2013276, 1991","journal-title":"Information Processing Letter"},{"key":"18_CR15","unstructured":"Zhou Chaochen, Li Xiaoshan: A Mean-Value Duration Calculus, UNU\/IIST Report No. 5, March 1993, to be published in the Hoare Festschrift, Prentice-Hall International"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, A.P. Ravn, M.R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems, to be published in the Proc. of the Workshop on Theory of Hybrid Systems, Lyngby, Denmark, 19\u201320 Oct. 1992","DOI":"10.1007\/3-540-57318-6_23"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Programming and Their Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T14:45:43Z","timestamp":1578494743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039713"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573166","9783540480563"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0039713","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}