{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T06:59:34Z","timestamp":1794380374538,"version":"4.9.0"},"publisher-location":"London","reference-count":26,"publisher":"Springer London","isbn-type":[{"value":"9781848829114","type":"print"},{"value":"9781848829121","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-84882-912-1_13","type":"book-chapter","created":{"date-parts":[[2010,8,20]],"date-time":"2010-08-20T12:27:13Z","timestamp":1282307233000},"page":"283-300","source":"Crossref","is-referenced-by-count":2,"title":["On Process-Algebraic Extensions of Metric Temporal Logic"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Haase","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jo\u00ebl","family":"Ouaknine","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Worrell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,7,21]]},"reference":[{"issue":"2","key":"13_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR2","doi-asserted-by":"crossref","DOI":"10.21236\/ADA323441","volume-title":"Real-time logics: complexity and expressiveness","author":"R Alur","year":"1990","unstructured":"Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Technical report, Stanford University (1990)"},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R Alur","year":"1994","unstructured":"Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181\u2013203 (1994)","journal-title":"J. ACM"},{"key":"13_CR4","first-page":"432","volume-title":"On the expressiveness of TPTL and MTL","author":"P Bouyer","year":"2005","unstructured":"Bouyer, P., Chevalier, F., Markey, N.: On the expressiveness of TPTL and MTL. In: Proceedings of FSTTCS, volume 3821 of Lecture Notes in Computer Science, pp. 432\u2013443. Springer (2005)"},{"key":"13_CR5","volume-title":"On expressiveness and complexity in real-time model checking","author":"P Bouyer","year":"2008","unstructured":"Bouyer, P., Markey, N., Ouaknine, J., Worrell, J.: On expressiveness and complexity in real-time model checking. In: Proceedings of ICALP, volume 5126 of Lecture Notes in Computer Science, pp 124\u2013135. Springer (2008)"},{"issue":"3","key":"13_CR6","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"SD Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31(3), 560\u2013599 (1984)","journal-title":"J. ACM"},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10009-005-0214-9","volume":"9","author":"D D\u2019Souza","year":"2007","unstructured":"D\u2019Souza, D., Prabhakar, P.: On the expressiveness of MTL in the pointwise and continuous semantics. STTT 9(1), 1\u20134 (2007)","journal-title":"STTT"},{"key":"13_CR8","volume-title":"On extensions of metric temporal logic. Technical report, Oxford University Computing Laboratory","author":"C Haase","year":"2009","unstructured":"Haase, C., Ouaknine, J., Worrell, J.: On extensions of metric temporal logic. Technical report, Oxford University Computing Laboratory (2009). \n                http:\/\/www.comlab.ox.ac.uk\/files\/2180\/how-09.pdf"},{"key":"13_CR9","volume-title":"The temporal specification and verification of real-time systems","author":"TA Henzinger","year":"1992","unstructured":"Henzinger, T.A.: The temporal specification and verification of real-time systems. Ph.D, thesis, Stanford University (1992)"},{"key":"13_CR10","first-page":"439","volume-title":"Its about time: real-time logics reviewed","author":"TA Henzinger","year":"1998","unstructured":"Henzinger, T.A.: Its about time: real-time logics reviewed. In: Proceedings of CONCUR, volume 1466 of Lecture Notes in Computer Science, pp. 439\u2013454 (1998)"},{"key":"13_CR11","first-page":"580","volume-title":"The regular real-time languages","author":"TA Henzinger","year":"1998","unstructured":"Henzinger, T.A., Raskin, J.-F., Schobbens, P.-Y.: The regular real-time languages. In: Proceedings of ICALP, volume 1443 of Lecture Notes in Computer Science, pp. 580\u2013591. Springer (1998)"},{"key":"13_CR12","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)"},{"issue":"4","key":"13_CR13","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with Metric Temporal Logic. Real-Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real-Time Syst."},{"key":"13_CR14","volume-title":"Weak automata for the linear time \u03bc-calculus","author":"M Lange","year":"2005","unstructured":"Lange, M.: Weak automata for the linear time \u03bc-calculus. In: Proceedings of VMCAI, volume 3385 of Lecture Notes in Computer Science, pp. 267\u2013281. Springer (2005)"},{"issue":"2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1342991.1342994","volume":"9","author":"S Lasota","year":"2008","unstructured":"Lasota, S., Walukiewicz, I.: Alternating timed automata. ACM Trans. Comput. Logic 9(2), 1\u201327 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"1\u20132","key":"13_CR16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(95)00095-X","volume":"161","author":"AJ Mayer","year":"1996","unstructured":"Mayer, A.J., Stockmeyer, L.J.: The complexity of PDL with interleaving. Theor. Comput. Sci. 161(1\u20132), 109\u2013122 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer (1980)"},{"key":"13_CR18","volume-title":"Computation: Finite and Infinite Machines","author":"ML Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall., Upper Saddle River, NJ (1967)"},{"key":"13_CR19","volume-title":"On Metric Temporal Logic and Faulty turing machines","author":"J Ouaknine","year":"2006","unstructured":"Ouaknine, J., Worrell, J.: On Metric Temporal Logic and Faulty turing machines. In: Proceedings of FoSSaCS, volume 3921 of Lecture Notes in Computer Science, pp. 217\u2013230. Springer (2006)"},{"key":"13_CR20","volume-title":"On the decidability complexity of Metric Temporal Logic over finite words","author":"J Ouaknine","year":"2007","unstructured":"Ouaknine, J., Worrell, J.: On the decidability complexity of Metric Temporal Logic over finite words. Logic. Meth. Comp. Sci. 3(1) (2007)"},{"key":"13_CR21","volume-title":"Some recent results in Metric Temporal Logic","author":"J Ouaknine","year":"2008","unstructured":"Ouaknine, J., Worrell, J.: Some recent results in Metric Temporal Logic. In: Proceedings of FORMATS, volume 5215 of Lecture Notes in Computer Science, pp. 1\u201313. Springer (2008)"},{"issue":"2","key":"13_CR22","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1147\/rd.32.0114","volume":"3","author":"MO Rabin","year":"1959","unstructured":"Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM J. Res. Dev. 3(2), 115\u2013125 (1959)","journal-title":"IBM J. Res. Dev."},{"key":"13_CR23","volume-title":"A timed model for Communicating Sequential Processes","author":"GM Reed","year":"1986","unstructured":"Reed, G.M., Roscoe, A.W.: A timed model for Communicating Sequential Processes. In: Proceedings of ICALP, volume 226 of Lecture Notes in Computer Science, pp. 314\u2013323. Springer (1986)"},{"key":"13_CR24","volume-title":"Metric spaces as models for real-time concurrency","author":"GM Reed","year":"1987","unstructured":"Reed, G.M., Roscoe, A.W.: Metric spaces as models for real-time concurrency. In: Proceedings of MFPS, volume 298 of Lecture Notes in Computer Science, pp. 331\u2013343. Springer (1987)"},{"issue":"1\u20132","key":"13_CR25","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0304-3975(98)00214-X","volume":"211","author":"GM Reed","year":"1999","unstructured":"Reed, G.M., Roscoe, A.W.: The timed failures-stability model for CSP. Theor. Comput. Sci. 211(1\u20132), 85\u2013127 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR26","volume-title":"The complementation problem for B\u00fcchi automata with applications to temporal logic (extended abstract)","author":"AP Sistla","year":"1985","unstructured":"Sistla, A.P., Vardi, M.Y., Wolper, P.: The complementation problem for B\u00fcchi automata with applications to temporal logic (extended abstract). In: Proceedings of ICALP, volume 194 of Lecture Notes in Computer Science, pp. 465\u2013474. Springer (1985)"}],"container-title":["Reflections on the Work of C.A.R. Hoare"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84882-912-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T04:03:10Z","timestamp":1558843390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84882-912-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781848829114","9781848829121"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-84882-912-1_13","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-1-84882-912-1","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010]]}}}