{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:24:55Z","timestamp":1747578295739},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555643"},{"type":"electronic","value":"9783540472186"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0031994","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T01:36:29Z","timestamp":1134264989000},"page":"209-225","source":"Crossref","is-referenced-by-count":28,"title":["Semantics and completeness of Duration Calculus"],"prefix":"10.1007","author":[{"given":"Michael R.","family":"Hansen","sequence":"first","affiliation":[]},{"given":"Zhou","family":"Chaochen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"issue":"5","key":"10_CR1","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1992","unstructured":"Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn: A Calculus of Durations. In Information Processing Letters 40(5), 1992, pp. 269\u2013276.","journal-title":"Information Processing Letters"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, Michael R. Hansen, A.P. Ravn, and Hans Rischel: Duration Specifications for Shared Processors. In proc. of Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Nijmegen, Januar 6\u201310, 1992. (To appear in the LNCS series.)","DOI":"10.1007\/3-540-55092-5_2"},{"key":"10_CR3","unstructured":"Roger Hale: Temporal Logic Programming. In Temporal Logics and their applications, (edited by Antony Galton), Academic Press, 1987, pp. 91\u2013119."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"J. Halpern, B. Moskowski, and Z. Manna: A Hardware Semantics based on Temporal Intervals, In proc. ICALP'83, LNCS 154, Springer-Verlag 1983, pp. 278\u2013291.","DOI":"10.1007\/BFb0036915"},{"issue":"no.5","key":"10_CR5","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/123041.123051","volume":"15","author":"K.M. Hansen","year":"1991","unstructured":"K.M. Hansen, A.P. Ravn, and H. Rischel: Specifying and Verifying Requirements of Real-Time Systems. In proc. 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, 1991, pp. 44\u201354.","journal-title":"ACM Software Engineering Notes"},{"key":"10_CR6","unstructured":"M.R. Hansen, Zhou Chaochen, and Jorgen Staunstrup: A Real-Time Duration Semantics for Circuits. ProCoS Rep. ID\/DTH MRH 7\/1, September 1991. (To appear in proc. of TA U'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton Univ., NJ, March 1992)."},{"key":"10_CR7","unstructured":"Jifeng He: A Predicative Semantics for a Divergence-Free Programming Language Based on Temporal Intervals. ProCoS Techn. Rep. PRG\/OU HJF 8\/1, ESPRIT BRA 3104, 1991."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"J. Hooman and J Widom: A temporal-logic based compositional proof system for real-time message passing. In proc. PARLE'89, vol. II, LNCS 366, Springer-Verlag 1989, pp. 424\u2013441.","DOI":"10.1007\/3-540-51285-3_56"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"J. Hooman: Specification and Compositional Verification of Real-Time Systems. PhD Thesis 1991, Technical University of Eindhoven.","DOI":"10.1007\/3-540-54947-1"},{"issue":"9","key":"10_CR10","first-page":"890","volume":"SE-12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian and A.K-L. Mok: Safety Analysis of Timing Properties in Real-Time Systems. In IEEE Trans. SE-12(9), 1986, pp. 890\u2013904.","journal-title":"IEEE Trans."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"R. Koymans: Specifying real-time properties with metric temporal logic, Journal of Real-time Systems, 2, 1990.","DOI":"10.1007\/BF01995674"},{"key":"10_CR12","unstructured":"Zhiming Liu: A Probabilistic Duration Calculus. Working Paper, Department of Computer Science, Technical University of Denmark, December 1991."},{"issue":"no.2","key":"10_CR13","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"Ben Moszkowski: A Temporal Logic for Multilevel Reasoning about Hardware, IEEE Computer, vol. 18, no. 2, 1985, pp. 10\u201319.","journal-title":"IEEE Computer"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"A. Pnueli and E. Harel: Applications of temporal logic to the specification of real-time systems. In proc. Symp. Formal Techn. in Real-Time and Fault-Tolerant Systems, LNCS 311, (M. Joseph ed.), 1988, pp. 84\u201398.","DOI":"10.1007\/3-540-50302-1_4"},{"key":"10_CR15","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-IFAC Symposium MCTS, Lille, France, vol. 2, 1991, pp. 147\u2013152.","journal-title":"Proc. IMACS-IFAC Symposium MCTS, Lille, France"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"G.M. Reed and A.W. Roscoe: Metric spaces as models for real-time concurrency. In proc. Mathematical Foundations of Programming, LNCS 298, 1987, pp. 331\u2013343.","DOI":"10.1007\/3-540-19020-1_17"},{"key":"10_CR17","unstructured":"S. Schneider: Correctness and Communication of Real-Time Systems. PhD Thesis 1989, Techn. Monograph PRG-84, Oxford Univ. Comp. Lab., March 1990."},{"key":"10_CR18","unstructured":"Jens U. Skakkeb\u00e6k: Development of a provably correct system. Master's thesis, Department of Computer Science, Technical University of Denmark, August 1991."}],"container-title":["Lecture Notes in Computer Science","Real-Time: Theory in Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T09:48:06Z","timestamp":1586598486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031994"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555643","9783540472186"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0031994","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}