{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T21:40:06Z","timestamp":1743284406926,"version":"3.40.3"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s00236-012-0158-y","type":"journal-article","created":{"date-parts":[[2012,6,7]],"date-time":"2012-06-07T05:22:59Z","timestamp":1339046579000},"page":"249-279","source":"Crossref","is-referenced-by-count":0,"title":["On timed alternating simulation for concurrent timed games"],"prefix":"10.1007","volume":"49","author":[{"given":"Laura","family":"Bozzelli","sequence":"first","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]},{"given":"Sophie","family":"Pinchinat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,6,8]]},"reference":[{"issue":"2","key":"158_CR1","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0304-3975(94)00285-9","volume":"152","author":"L. Aceto","year":"1995","unstructured":"Aceto L., Jeffrey A.: A complete axiomatization of timed bisimulation for a class of timed regular behaviours. Theor. Comput. Sci. 152(2), 251\u2013268 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"158_CR2","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur R., Courcoubetis C., Dill D.L.: Model-checking in dense real-time. Inf. Comput. 104(1), 2\u201334 (1993)","journal-title":"Inf. Comput."},{"issue":"2","key":"158_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur R., Dill D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"158_CR4","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur R., Henzinger T.A., Kupferman O.: Alternating-time temporal logic. J. ACM 49(5), 672\u2013713 (2002)","journal-title":"J. ACM"},{"key":"158_CR5","doi-asserted-by":"crossref","unstructured":"Alur R., Henzinger T.A., Kupferman O., Vardi M.Y.: Alternating refinement relations. In: Proceedings of the 9th CONCUR, LNCS 1466, pp. 163\u2013178 (1998)","DOI":"10.1007\/BFb0055622"},{"key":"158_CR6","doi-asserted-by":"crossref","unstructured":"Brihye T., Laroussinie F., Markey N., Oreiby G.: Timed concurrent game structures. In: Proceedings of the 18th CONCUR, LNCS 4703, pp. 445\u2013459 (2007)","DOI":"10.1007\/978-3-540-74407-8_30"},{"key":"158_CR7","doi-asserted-by":"crossref","unstructured":"Bulychev P., Chatain T., David A., Larsen K.G.: Efficient on-the-fly algorithm for checking alternating timed simulation. In: Proceedings of the 7th FORMATS, LNCS 5813, pp. 73\u201387 (2009)","DOI":"10.1007\/978-3-642-04368-0_8"},{"key":"158_CR8","doi-asserted-by":"crossref","unstructured":"\u010cer\u0101ns K.: Decidability of bisimulation equivalences for parallel timer processes. In: Proceedings of the 4th CAV,LNCS 663, pp. 302\u2013315 (1992)","DOI":"10.1007\/3-540-56496-9_24"},{"key":"158_CR9","doi-asserted-by":"crossref","unstructured":"de Alfaro L., Dias da Silva L., Faella M., Legay A., Roy P., Sorea M.: Sociable interfaces. In: Proceedings of the 5th FROCOS, LNCS 3717, pp. 81\u2013105 (2005)","DOI":"10.1007\/11559306_5"},{"key":"158_CR10","doi-asserted-by":"crossref","unstructured":"de Alfaro L., Faella M., Henzinger T.A., Majumdar R., Stoelinga M.: The element of surprise in timed games. In: 14th CONCUR, LNCS 2761, pp. 142\u2013156 (2003)","DOI":"10.1007\/978-3-540-45187-7_9"},{"key":"158_CR11","doi-asserted-by":"crossref","unstructured":"de Alfaro L., Henzinger T.A.: Interface automata. In: Proceedings of the 9th FSE, ACM, pp. 109\u2013120 (2001)","DOI":"10.1145\/503225.503226"},{"issue":"1","key":"158_CR12","doi-asserted-by":"crossref","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. Int. J. Softw. Tools Technol. Transf. 9(1), 1\u20134 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1","key":"158_CR13","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"Emerson E.A., Halpern J.Y.: Sometimes and not never revisited: on branching versus linear time. J. ACM 33(1), 151\u2013178 (1986)","journal-title":"J. ACM"},{"key":"158_CR14","doi-asserted-by":"crossref","unstructured":"Henzinger T.A., Prabhu V.S.: Timed alternating-time temporal logic. In: Proceedings of the 4th FORMATS, LNCS 4202, pp. 1\u201317 (2006)","DOI":"10.1007\/11867340_1"},{"key":"158_CR15","doi-asserted-by":"crossref","unstructured":"Jurdzinski M., Laroussinie F., Sproston J.: Model checking probabilistic timed automata with one or two clocks. In: Proceedings of the 13th TACAS, LNCS 4424, pp. 170\u2013184 (2007)","DOI":"10.1007\/978-3-540-71209-1_15"},{"issue":"4","key":"158_CR16","doi-asserted-by":"crossref","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":"158_CR17","doi-asserted-by":"crossref","unstructured":"Laroussinie F., Schnoebelen Ph.: The state explosion problem from trace to bisimulation equivalence. In: Proceedings of the 3rd FOSSACS, LNCS 1784, pp. 192\u2013207 (2000)","DOI":"10.1007\/3-540-46432-8_13"},{"issue":"2","key":"158_CR18","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0890-5401(89)90070-9","volume":"81","author":"R. Milner","year":"1989","unstructured":"Milner R.: A complete axiomatisation for observational congruence of finite-state behaviors. Inf. Comput. 81(2), 227\u2013247 (1989)","journal-title":"Inf. Comput."},{"key":"158_CR19","doi-asserted-by":"crossref","unstructured":"Ouaknine J. Worrell J.L: On metric temporal logic and faulty turing machines. In: Proceedings of the 9th FOSSACS, LNCS 3921, pp. 217\u2013230 (2006)","DOI":"10.1007\/11690634_15"},{"key":"158_CR20","doi-asserted-by":"crossref","unstructured":"Ouaknine J., Worrell J.: On the decidability of metric temporal logic. In: Proceedings of the 20th LICS, pp. 188\u2013197. IEEE Computer Society Press (2005)","DOI":"10.1109\/LICS.2005.33"},{"key":"158_CR21","doi-asserted-by":"crossref","unstructured":"Tasiran S., Alur R., Kurshan R.P., Brayton R.K.: Verifying abstractions of timed systems. In: Proceedings of the 7th CONCUR, LNCS 1119, pp. 546\u2013562 (1996)","DOI":"10.1007\/3-540-61604-7_75"},{"key":"158_CR22","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Automata on infinite objects. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science: Formal Models and Sematics, vol. B, pp. 133\u2013192 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50009-3"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-012-0158-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-012-0158-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-012-0158-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T21:19:05Z","timestamp":1743283145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-012-0158-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["158"],"URL":"https:\/\/doi.org\/10.1007\/s00236-012-0158-y","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}