{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T06:00:31Z","timestamp":1774332031736,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540654933","type":"print"},{"value":"9783540492139","type":"electronic"}],"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-49213-5_23","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T12:03:39Z","timestamp":1197201819000},"page":"584-608","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["An Adequate First Order Interval Logic"],"prefix":"10.1007","author":[{"given":"Zhou","family":"Chaochen","sequence":"first","affiliation":[]},{"given":"Michael R.","family":"Hansen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,5,21]]},"reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"J.F. Allen. Towards a general theory of action and time. Articial Intelligence, 23:123\u2013154, 1984.","journal-title":"Articial Intelligence"},{"key":"23_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, T. Henzinger, and P-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (Eds), pages 209\u2013229. LNCS 736, Springer-Verlag, 1993."},{"key":"23_CR3","volume-title":"Technical report, UNU\/IIST Report No. 120","author":"R. Barua","year":"1997","unstructured":"R. Barua and Zhou Chaochen. Neighbourhood logics: NL and NL2. Technical report, UNU\/IIST Report No. 120, UNU\/IIST, International Institute for Software Technology, P.O. Box 3058, Macau, 1997."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"B. Dutertre. Complete proof systems for first order interval temporal logic. In Tenth Annual IEEE Symp. on Logic in Computer Science, pages 36\u201343. IEEE Press, 1995.","DOI":"10.1109\/LICS.1995.523242"},{"key":"23_CR5","unstructured":"Marcin Engel and Hans Rischel. Dagstuhl-seminar specification problem-a duration calculus solution. Technical report, Department of Computer Science, Technical University of Denmark-Private Communication, 1994."},{"key":"23_CR6","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. In ICALP\u201983, volume 154 of LNCS, pages 278\u2013291. Springer-Verlag, 1983."},{"key":"23_CR7","unstructured":"J.Y. Halpern and Y. Shoham. A propositional modal logic of time intervals. In Proceedings of the First IEEE Symposium on Logic in Computer Science, pages 279\u2013292. IEEE Computer Society Press, 1986."},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BF01211086","volume":"9","author":"M.R. Hansen","year":"1997","unstructured":"M.R. Hansen and Zhou Chaochen. Duration calculus: Logical foundations. Formal Aspects of Computing 9: 283\u2013330, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"23_CR9","unstructured":"M.R. Hansen, Zhou Chaochen, and J\u00f8rgen Staunstrup. A real-time duration semantics for circuits. In TAU\u201992: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton Univ., NJ. ACM\/SIGDA, 1992."},{"key":"23_CR10","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, 138:113\u2013139, 1995.","journal-title":"Theoretical Computer Science"},{"key":"23_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-57318-6_25","volume-title":"Hybrid Systems","author":"L. Lamport","year":"1993","unstructured":"L. Lamport. Hybrid systems in tla+. In Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (Eds), pages 77\u2013102. LNCS 736, Springer-Verlag, 1993."},{"key":"23_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-57318-6_22","volume-title":"Hybrid Systems","author":"Z. Manna","year":"1993","unstructured":"Z. Manna and A. Pnueli. Verifying hybrid systems. In Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (Eds), pages 4\u201335. LNCS 736, Springer-Verlag, 1993."},{"key":"23_CR13","unstructured":"B. Moszkowski. Compositional reasoning about projected and infinite time. In First IEEE Intl. Conf. on Engineering of Complex Computer Systems. IEEE press, 1995."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"P.K. Pandya. Weak chop inverses and liveness in duration calculus. In B. Jonsson and J. Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 148\u2013167. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61648-9_39"},{"key":"23_CR15","volume-title":"Technical report, UNU\/IIST Report No. 97, UNU\/IIST","author":"S. Roy","year":"1997","unstructured":"Suman Roy and Zhou Chaochen. Notes on neighbourhood logic. Technical report, UNU\/IIST Report No. 97, UNU\/IIST, International Institute for Software Technology, P.O. Box 3058, Macau, 1997."},{"key":"23_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BFb0015015","volume-title":"CONCUR\u201994: Concurrency Theory","author":"J.U. Skakkeb\u00e6k","year":"1994","unstructured":"J.U. Skakkeb\u00e6k. Liveness and fairness in duration calculus. In B. Jonsson and J. Parrow, editors, CONCUR\u201994: Concurrency Theory, volume 836 of LNCS, pages 283\u2013298. Springer Verlag, 1994."},{"issue":"4","key":"23_CR17","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1305\/ndjfl\/1093635589","volume":"31","author":"Y. Venema","year":"1990","unstructured":"Y. Venema. Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic, 31(4):529\u2013547, 1990.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"23_CR18","doi-asserted-by":"publisher","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. J. Logic Computat., 1(4):453\u2013476, 1991.","journal-title":"J. Logic Computat."},{"key":"23_CR19","volume-title":"Technical report, UNU\/IIST Report No. 77, UNU\/IIST","author":"M. Xiaoguang","year":"1996","unstructured":"Mao Xiaoguang, Xu Qiwen, Dang Van Hung, and Wang Ji. Towards a proof assistant for interval logics. Technical report, UNU\/IIST Report No. 77, UNU\/IIST, International Institute for Software Technology, P.O. Box 3058, Macau, 1996."},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen and Michael R. Hansen. Chopping a point. In BCS-FACS 7th Refinement Workshop. Electronic Workshops in Computing, Springer-Verlag, 1996.","DOI":"10.14236\/ewic\/RW1996.4"},{"issue":"5","key":"23_CR21","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, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"23_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/3-540-60249-6_39","volume-title":"Fundamentals of Computation Theory","author":"Z. Chaochen","year":"1995","unstructured":"Zhou Chaochen, Dang Van Hung, and Li Xiaoshan. A duration calculus with infinite intervals. In Horst Reichel, editor, Fundamentals of Computation Theory, volume 965 of LNCS, pages 16\u201341. Springer-Verlag, 1995."},{"key":"23_CR23","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. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel (Eds.), volume 736 of LNCS, pages 36\u201359. Springer-Verlag, 1993."},{"key":"23_CR24","unstructured":"Zhou Chaochen and Li Xiaoshan. A mean value calculus of durations. In Prentice Hall International, editor, A Classical Mind: Essays in Honour of C.A.R. Hoare, pages 431\u2013451. Prentice Hall International, 1994."}],"container-title":["Lecture Notes in Computer Science","Compositionality: The Significant Difference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49213-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T13:14:16Z","timestamp":1737638056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49213-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654933","9783540492139"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-49213-5_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"21 May 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}