{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:30Z","timestamp":1725488610613},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424871"},{"type":"electronic","value":"9783540446699"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44669-9_24","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T10:32:26Z","timestamp":1186741946000},"page":"240-251","source":"Crossref","is-referenced-by-count":0,"title":["Concurrency in Timed Automata"],"prefix":"10.1007","author":[{"given":"Ruggero","family":"Lanotte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Tini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,2]]},"reference":[{"key":"24_CR1","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.L. Dill: A theory of timed automata. Theoretical Computer Science 126, 183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/FI-1998-36233","volume":"36","author":"B. B\u00e9rard","year":"1998","unstructured":"B. B\u00e9rard, V. Diekert, P. Gastin, and A. Petit: Characterization of the power of silent transitions in timed automata. Fundamenta Informaticae 36, 145\u2013182, 1998.","journal-title":"Fundamenta Informaticae"},{"key":"24_CR3","series-title":"Lect Notes Comput Sci","first-page":"266","volume-title":"Proc. of HART\u2019 97","author":"S. Bornot","year":"1997","unstructured":"S. Bornot and J. Sifakis: Relating time progress and deadlines in hybrid systems. In Proc. of HART\u2019 97, Springer LNCS 1201, 266\u2013300, 1997."},{"key":"24_CR4","series-title":"Lect Notes Comput Sci","first-page":"69","volume-title":"Proc. of HSCC\u2019 98","author":"S. Bornot","year":"1998","unstructured":"S. Bornot and J. Sifakis: On the composition of hybrid systems. In Proc. of HSCC\u2019 98, Springer LNCS 1386, 69\u201383, 1998."},{"key":"24_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/10722167_35","volume-title":"Proc. of CAV 2000","author":"P. Bouyer","year":"2000","unstructured":"P. Bouyer, C. Dufourd, E. Fleury, and A. Petit: Are timed automata updatable? In Proc. of CAV 2000, Springer LNCS 1855, 464\u2013479, 2000."},{"key":"24_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-44612-5_19","volume-title":"Proc. of MFCS 2000","author":"P. Bouyer","year":"2000","unstructured":"P. Bouyer, C. Dufourd, E. Fleury, and A. Petit: Expressiveness of updatable timed automata. In Proc. of MFCS 2000, Springer LNCS 1893, 232\u2013242, 2000."},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/176584.176587","volume":"41","author":"D. Drusinsky","year":"1994","unstructured":"D. Drusinsky and D. Harel: On the power of bounded concurrency I: finite automata. Journal of the ACM 41, 217\u2013539, 1994.","journal-title":"Journal of the ACM"},{"key":"24_CR8","doi-asserted-by":"crossref","first-page":"153","DOI":"10.3233\/FI-2000-43123408","volume":"43","author":"R. Lanotte","year":"2000","unstructured":"R. Lanotte, A. Maggiolo-Schettini, and A. Peron: Timed Cooperating Automata. Fundamenta Informaticae 43, 153\u2013173, 2000.","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44669-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T19:34:21Z","timestamp":1587843261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44669-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424871","9783540446699"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-44669-9_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}