{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:04Z","timestamp":1725511984123},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714927"},{"type":"electronic","value":"9783540714934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71493-4_48","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T17:33:57Z","timestamp":1180546437000},"page":"628-632","source":"Crossref","is-referenced-by-count":1,"title":["The Concept of Deadlock and Livelock in Hybrid Control Systems"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Abate","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"D\u2019Innocenzo","sequence":"additional","affiliation":[]},{"given":"Giordano","family":"Pola","sequence":"additional","affiliation":[]},{"given":"Maria Domenica","family":"Di Benedetto","sequence":"additional","affiliation":[]},{"given":"Shankar","family":"Sastry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","unstructured":"Abate, A., et al.: The Concept of Deadlock and Livelock in Hybrid Control Systems. Technical Report, UCB\/EECS-2006-181 (Dec. 2006), http:\/\/www.eecs.berkeley.edu\/Pubs"},{"key":"48_CR2","doi-asserted-by":"crossref","unstructured":"Lygeros, J., et al.: Dynamical Properties of Hybrid Automata. IEEE Transactions on Automatic Control\u00a048(1) (2003)","DOI":"10.1109\/TAC.2002.806650"},{"key":"48_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-63141-0_6","volume-title":"CONCUR\u201997: Concurrency Theory","author":"R. Alur","year":"1997","unstructured":"Alur, R., Henzinger, T.: Modularity for Timed and Hybrid Systems. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, pp. 74\u201388. Springer, Heidelberg (1997)"},{"issue":"1","key":"48_CR4","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"N. Lynch","year":"2003","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid I\/O Automata. Information and Computation\u00a0185(1), 105\u2013157 (2003)","journal-title":"Information and Computation"},{"key":"48_CR5","doi-asserted-by":"crossref","unstructured":"Abadi, M., Lamport, L.: Composing Specifications. In: REX Workshop on Stepwise Refinement of Distributed Systems, Mook, NL (May 1989)","DOI":"10.1007\/3-540-52559-9_59"},{"key":"48_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.: Defining Liveness. Information Processing Letters\u00a021, 181\u2013185 (1985)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71493-4_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T09:29:14Z","timestamp":1556443754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71493-4_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540714927","9783540714934"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71493-4_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}