{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:20:43Z","timestamp":1775053243248,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540583295","type":"print"},{"value":"9783540486541","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-540-48654-1_16","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T13:34:34Z","timestamp":1462887274000},"page":"162-177","source":"Crossref","is-referenced-by-count":19,"title":["The Observational Power of Clocks"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Costas","family":"Courcoubetis","sequence":"additional","affiliation":[]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","first-page":"2","volume":"104","author":"R Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model checking in dense real time. Information and Computation, 104: 2\u201334, 1993.","journal-title":"Computation"},{"key":"16_CR2","first-page":"630","volume-title":"Concur, 340-354. Springer Lncs","author":"R Alur","year":"1992","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, D. Dill, and H. Wong-Toi. Minimization of timed transition systems. In 3rd CONCUR, 340\u2013354. Springer LNCS 630, 1992."},{"key":"16_CR3","first-page":"697","volume-title":"Cav, 181-193. Springer Lncs","author":"R Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, and T. Henzinger. Computing accumulated delays in real-time systems. In 5th CAV, 181\u2013193. Springer LNCS 697, 1993."},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126: 183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R Alur","year":"1994","unstructured":"R. Alur and T. Henzinger. A really temporal logic. J. ACM, 41: 181\u2013204, 1994.","journal-title":"J. ACM"},{"key":"16_CR6","first-page":"592","volume-title":"Acm Stoc","author":"R Alur","year":"1993","unstructured":"R. Alur, T. Henzinger, and M. Vardi. Parametric real-time reasoning. In 25th ACM STOC, 592\u2013601, 1993."},{"key":"16_CR7","first-page":"575","volume-title":"Cav, 399-409. Springer Lncs","author":"C Courcoubetis","year":"1991","unstructured":"C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. In 3rd CAV, 399\u2013409. Springer LNCS 575, 1991."},{"key":"16_CR8","first-page":"353","volume-title":"Acm Popl","author":"T Henzinger","year":"1991","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In 18th ACM POPL, 353\u2013366, 1991."},{"key":"16_CR9","first-page":"394","volume-title":"Ieee Lics","author":"T Henzinger","year":"1992","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. In 7th IEEE LICS, 394\u2013406, 1992."},{"key":"16_CR10","volume-title":"Mathematical Foundations of Programming Semantics","author":"K Laren","year":"1993","unstructured":"K. Laren and Y. Wang. Time-abstracting bisimulation: implicit specifications and decidability. In Mathematical Foundations of Programming Semantics, 1993."},{"key":"16_CR11","first-page":"630","volume-title":"Concur, 436-455. Springer Lncs","author":"N Lynch","year":"1992","unstructured":"N. Lynch and F. Vaandrager. Action transducers and timed automata. In 3rd CONCUR, 436\u2013455. Springer LNCS 630, 1992."},{"key":"16_CR12","first-page":"600","volume-title":"Real Time: Theory in Practice, 549-572. Springer Lncs","author":"X Nicollin","year":"1991","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In Real Time: Theory in Practice, 549\u2013572. Springer LNCS 600, 1991."},{"key":"16_CR13","volume-title":"Comparative Concurrency Semantics and Refinement of Actions","author":"R Glabbeek","year":"1990","unstructured":"R. van Glabbeek. Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Vrije Universiteit to Amsterdam, 1990."},{"key":"16_CR14","first-page":"663","volume-title":"Springer Lncs","author":"K Cer\u00e2ns","year":"1992","unstructured":"K. Cer\u00e2ns. Decidability of bisimulation equivalence for parallel timer processes. In 4th CAV, 302\u2013315. Springer LNCS 663, 1992."},{"key":"16_CR15","first-page":"697","volume-title":"Springer Lncs","author":"K Cerans","year":"1993","unstructured":"K. Cerans, J. Godskesen, and K. Larsen. Timed modal specification: theory and tools. In 5th CAV, 253\u2013267. Springer LNCS 697, 1993."},{"key":"16_CR16","first-page":"458","volume-title":"Springer Lncs","author":"Y Wang","year":"1990","unstructured":"Y. Wang. Real-time behavior of asynchronous agents. In 1st CONCUR, 502\u2013520. Springer LNCS 458, 1990."},{"key":"16_CR17","first-page":"697","volume-title":"5th Cav, 210-224. Springer Lncs","author":"M Yannakakis","year":"1993","unstructured":"M. Yannakakis and D. Lee. An efficient algorithm for minimizing real-time transition systems. In 5th CAV, 210\u2013224. Springer LNCS 697, 1993."}],"container-title":["Lecture Notes in Computer Science","CONCUR '94: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48654-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T18:51:29Z","timestamp":1558810289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48654-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583295","9783540486541"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48654-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}