{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:11Z","timestamp":1761597011358},"reference-count":31,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"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":6072,"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":[[1996,12]]},"DOI":"10.1016\/s0304-3975(96)80701-8","type":"journal-article","created":{"date-parts":[[2007,3,3]],"date-time":"2007-03-03T01:51:29Z","timestamp":1172886689000},"page":"1-46","source":"Crossref","is-referenced-by-count":12,"title":["Interval logics and their decision procedures"],"prefix":"10.1016","volume":"170","author":[{"given":"Y.S.","family":"Ramakrishna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.M.","family":"Melliar-Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.E.","family":"Moser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.K.","family":"Dillon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Kutty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(96)80701-8_BIB1","series-title":"Techniques for automatic verification of real time systems","author":"Alur","year":"1991"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB2","series-title":"An implementation of three algorithms for timing verification based on automata emptiness","first-page":"157","author":"Alur","year":"1992"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB3","series-title":"Automata for modeling real time systems","first-page":"322","article-title":"Proc. 17th Int. Colloq. Automata, Languages and Programming","volume":"Vol. 443","author":"Alur","year":"1990"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB4","series-title":"The benefits of relaxing punctuality","first-page":"139","author":"Alur","year":"1991"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB5","series-title":"A determinizable calss of timed automata","first-page":"1","author":"Alur","year":"1994"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB6","series-title":"A really temporal logic","first-page":"164","author":"Alur","year":"1989"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB7","series-title":"Parametric real time reasoning","first-page":"592","author":"Alur","year":"1993"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB8","series-title":"Timing verification by successive approximation","first-page":"137","article-title":"Proc. 4th Workshop Comput. Aided Verif","volume":"Vol. 663","author":"Alur","year":"1992"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB9","series-title":"Refinement calculus, Part II: Parallel and reactive programs","first-page":"67","author":"Back","year":"1989"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB10","series-title":"A really abstract concurrent codel and its temporal logic","first-page":"173","author":"Barringer","year":"1986"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB11","series-title":"On a decision method in restricted second-order arithmetic","first-page":"1","author":"B\u00fcchi","year":"1960"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB12","series-title":"Decidability and undecidability results for the duration calculus","first-page":"58","author":"Chaochen","year":"1993"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB13","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 Processing Lett."},{"key":"10.1016\/S0304-3975(96)80701-8_BIB14","series-title":"Timing assumptions and verification of finite-state concurrent systems","first-page":"196","article-title":"Proc. Int. Workshop Automatic Verification Methods for Finite-State Systems","volume":"Vol. 407","author":"Dill","year":"1989"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB15","author":"Hopcroft","year":"1979"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB16","series-title":"(Real) time: a philosophical perspective","first-page":"353","article-title":"Proc. REX Workshop Real-Time: Theory in Practice","volume":"Vol. 600","author":"Koymans","year":"1991"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB17","series-title":"Real-time programming and asynchronous message-passing","first-page":"187","author":"Koymans","year":"1983"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB18","series-title":"Analysis of discrete event coordination","first-page":"414","author":"Kurshan","year":"1989"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB19","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3233\/FI-1995-2441","article-title":"Axiomatizations of interval logics","volume":"XXIV","author":"Kutty","year":"1995","journal-title":"Fundam Inform"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB20","series-title":"Extending interval logic to real times systems","first-page":"224","article-title":"Proc. Conf. Temporal Logic in Specification","volume":"Vol. 398","author":"Melliar-Smith","year":"1987"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB21","series-title":"A system for automated deduction in graphical interval logic","article-title":"Proc. 1st Int. Conf. Temporal Logic","volume":"Vol. 827","author":"Melliar-Smith","year":"1994"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB22","unstructured":"L.E. Moser, Y.S. Ramakrishna, G. Kutty, P.M. Melliar-Smith and L.K. Dillon, A graphical environment for design of concurrent real time systems, submitted."},{"key":"10.1016\/S0304-3975(96)80701-8_BIB23","series-title":"Specification of real time systems in real time temporal interval logic","first-page":"86","author":"Narayana","year":"1988"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB24","series-title":"Interval logics for temporal specification and verification","author":"Ramakrishna","year":"1993"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB25","series-title":"A real time interval logic and its decision procedure","first-page":"173","article-title":"Proc. 13th Found. Softw. Tech. & Theoret. Comput. Sci.","volume":"Vol. 761","author":"Ramakrishna","year":"1993"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB26","series-title":"Really visual temporal reasoning","first-page":"262","author":"Ramakrishna","year":"1993"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(95)00254-5","article-title":"Interval logics and their decision procedures, Part I: An interval logic","volume":"166","author":"Ramakrishna","year":"1996","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(96)80701-8_BIB28","series-title":"A real time interval logic for reasoning about executions of real time programs","first-page":"10","author":"Razouk","year":"1989"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB29","series-title":"Putting time into proof outlines","first-page":"618","article-title":"Proc. REX Workshop Real Time: Theory in Practice","volume":"Vol. 600","author":"Schneider","year":"1991"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB30","series-title":"An interval logic for higher-level temporal reasoning","first-page":"173","author":"Schwartz","year":"1983"},{"key":"10.1016\/S0304-3975(96)80701-8_BIB31","first-page":"119","article-title":"The tableau method for temporal logic: an overview","volume":"Vol. 110\u2013111","author":"Wolper","year":"1985","journal-title":"Logique et Analyse"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397596807018?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397596807018?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T09:28:20Z","timestamp":1587374900000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397596807018"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":31,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["S0304397596807018"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(96)80701-8","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}