{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T06:00:55Z","timestamp":1774332055461,"version":"3.50.1"},"reference-count":24,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6741,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1995,2]]},"DOI":"10.1016\/0304-3975(94)00145-9","type":"journal-article","created":{"date-parts":[[2003,4,30]],"date-time":"2003-04-30T21:37:28Z","timestamp":1051738648000},"page":"113-139","source":"Crossref","is-referenced-by-count":26,"title":["Finite divergence"],"prefix":"10.1016","volume":"138","author":[{"given":"Michael R.","family":"Hansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paritosh K.","family":"Pandya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhou","family":"Chaochen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(94)00145-9_BIB1","series-title":"Hybrid Systems","first-page":"209","article-title":"Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems","volume":"Vol. 736","author":"Alur","year":"1993"},{"key":"10.1016\/0304-3975(94)00145-9_BIB2","series-title":"Real-Time: Theory in Practice","first-page":"45","article-title":"The theory of timed automata","volume":"Vol. 600","author":"Alur","year":"1992"},{"key":"10.1016\/0304-3975(94)00145-9_BIB3","series-title":"Proc. 13th ACM Symp. Principles of Programming Languages","first-page":"173","article-title":"A really abstract concurrent model and its temporal logic","author":"Barringer","year":"1986"},{"key":"10.1016\/0304-3975(94)00145-9_BIB4","unstructured":"N. Bourbaki, Elements of Mathematics: General Topology (Addison-Wesley, Reading, MA)."},{"key":"10.1016\/0304-3975(94)00145-9_BIB5","first-page":"37","volume":"Vol. 1","author":"Courant","year":"1965"},{"key":"10.1016\/0304-3975(94)00145-9_BIB6","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(94)00169-J","article-title":"A brief history of Timed CSP","author":"Davies","year":"1992"},{"key":"10.1016\/0304-3975(94)00145-9_BIB7","series-title":"Hybrid Systems","volume":"Vol. 736","year":"1993"},{"key":"10.1016\/0304-3975(94)00145-9_BIB8","series-title":"Hybrid Systems","first-page":"121","article-title":"A compositional approach to the design of hybrid systems","volume":"Vol. 736","author":"Hooman","year":"1993"},{"key":"10.1016\/0304-3975(94)00145-9_BIB9","series-title":"Hybrid Systems","first-page":"179","article-title":"Integration graphs: a class of decidable hybrid systems","volume":"Vol. 736","author":"Kesten","year":"1993"},{"key":"10.1016\/0304-3975(94)00145-9_BIB10","series-title":"Hybrid Systems","first-page":"77","article-title":"Hybrid systems in TLA+","volume":"Vol. 736","author":"Lamport","year":"1993"},{"key":"10.1016\/0304-3975(94)00145-9_BIB11","article-title":"A mean-value duration calculus","author":"Xiaoshan","year":"1993"},{"issue":"2","key":"10.1016\/0304-3975(94)00145-9_BIB12","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","article-title":"A temporal logic for multi-level reasoning about hardware","volume":"18","author":"Moszkowski","year":"1985","journal-title":"IEEE Comput."},{"key":"10.1016\/0304-3975(94)00145-9_BIB13","series-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Manna","year":"1991"},{"key":"10.1016\/0304-3975(94)00145-9_BIB14","series-title":"Hybrid Systems","first-page":"4","article-title":"Verifying hybrid systems","volume":"Vol. 736","author":"Manna","year":"1993"},{"key":"10.1016\/0304-3975(94)00145-9_BIB15","series-title":"Hybrid Systems","first-page":"317","article-title":"Models for hybrid systems: automata, topologies, controllability, observability","volume":"Vol. 736","author":"Nerode","year":"1993"},{"key":"10.1016\/0304-3975(94)00145-9_BIB16","series-title":"Proc. IFIP TC 2 Working Conf. Programming Concepts and Methods","article-title":"ATP: an algebra for timed processes","author":"Nicollin","year":"1990"},{"key":"10.1016\/0304-3975(94)00145-9_BIB17","series-title":"Real-Time: Theory in Practice","first-page":"549","article-title":"From ATP to timed graphs and hybrid systems","volume":"Vol. 600","author":"Nicollin","year":"1992"},{"issue":"1","key":"10.1016\/0304-3975(94)00145-9_BIB18","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/32.210306","article-title":"Specifying and verifying requirements of real-time systems","volume":"19","author":"Ravn","year":"1993","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0304-3975(94)00145-9_BIB19","series-title":"ICALP 86","first-page":"314","article-title":"A timed model for communicating sequential processes","volume":"Vol. 266","author":"Reed","year":"1986"},{"key":"10.1016\/0304-3975(94)00145-9_BIB20","series-title":"Mathematical Foundations of Programming","first-page":"331","article-title":"Metric spaces as models for real-time concurrency","volume":"Vol. 298","author":"Reed","year":"1987"},{"key":"10.1016\/0304-3975(94)00145-9_BIB21","series-title":"Formal methods in programming and their applications","first-page":"256","article-title":"Duration calculi: an overview","volume":"Vol. 735","author":"Chaochen","year":"1993"},{"issue":"5","key":"10.1016\/0304-3975(94)00145-9_BIB22","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","article-title":"A calculus of durations","volume":"40","author":"Chaochen","year":"1991","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/0304-3975(94)00145-9_BIB23","series-title":"A Classical Mind: Essays in Honour of C.A.R. Hoare","first-page":"431","article-title":"A Mean Value Duration Calculus","author":"Chaochen","year":"1994"},{"key":"10.1016\/0304-3975(94)00145-9_BIB24","series-title":"Hybrid Systems","first-page":"36","article-title":"An extended duration calculus for hybrid real-time systems","volume":"Vol. 736","author":"Chaochen","year":"1993"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397594001459?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397594001459?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T08:27:15Z","timestamp":1555403235000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0304397594001459"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["0304397594001459"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(94)00145-9","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}