{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:44Z","timestamp":1725558944144},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642142949"},{"type":"electronic","value":"9783642142956"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14295-6_35","type":"book-chapter","created":{"date-parts":[[2010,7,8]],"date-time":"2010-07-08T22:36:09Z","timestamp":1278628569000},"page":"396-409","source":"Crossref","is-referenced-by-count":13,"title":["Achieving Distributed Control through Model Checking"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Quinton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-3-642-02658-4_10","volume-title":"CAV 2009","author":"A. Basu","year":"2009","unstructured":"Basu, A., Bensalem, S., Peled, D., Sifakis, J.: Priority scheduling of distributed systems based on model checking. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 79\u201393. Springer, Heidelberg (2009)"},{"key":"35_CR2","first-page":"3","volume-title":"SEFM","author":"A. Basu","year":"2006","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM, pp. 3\u201312. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"35_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-16086-8","volume-title":"TACAS","author":"G. Katz","year":"2010","unstructured":"Katz, G., Peled, D.: Code mutation in verification and automatic code generation. In: TACAS. LNCS. Springer, Heidelberg (to appear, 2010)"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Orlin, J.B.: Contentment in graph theory: covering graphs with cliques (1977)","DOI":"10.1016\/1385-7258(77)90055-5"},{"issue":"12","key":"35_CR5","doi-asserted-by":"publisher","first-page":"1173","DOI":"10.1002\/cpe.903","volume":"16","author":"J.A. P\u00e9rez","year":"2004","unstructured":"P\u00e9rez, J.A., Corchuelo, R., Toro, M.: An order-based algorithm for implementing multiparty synchronization. Concurrency - Practice and Experience\u00a016(12), 1173\u20131206 (2004)","journal-title":"Concurrency - Practice and Experience"},{"issue":"9","key":"35_CR6","doi-asserted-by":"publisher","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"K. Rudie","year":"2000","unstructured":"Rudie, K., Ricker, S.L.: Know means no: Incorporating knowledge into discrete-event control systems. Transactions on Automatic Control\u00a045(9), 1656\u20131668 (2000)","journal-title":"Transactions on Automatic Control"},{"issue":"11","key":"35_CR7","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"Rudie, K., Wonham, W.M.: Think globally, act locally: decentralized supervisory control. Transactions on Automatic Control\u00a037(11), 1692\u20131708 (1992)","journal-title":"Transactions on Automatic Control"},{"key":"35_CR8","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/j.sysconle.2004.10.002","volume":"54","author":"J.G. Thistle","year":"2005","unstructured":"Thistle, J.G.: Undecidability in decentralized supervision. System and Control Letters\u00a054, 503\u2013509 (2005)","journal-title":"System and Control Letters"},{"key":"35_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60275-5","volume-title":"STACS 95","author":"W. Thomas","year":"1995","unstructured":"Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol.\u00a0900, pp. 1\u201313. Springer, Heidelberg (1995)"},{"issue":"1","key":"35_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.ipl.2004.01.004","volume":"90","author":"S. Tripakis","year":"2004","unstructured":"Tripakis, S.: Undecidable problems of decentralized observation and control on regular languages. Inf. Process. Lett.\u00a090(1), 21\u201328 (2004)","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"35_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/inco.1997.2679","volume":"140","author":"R. Meyden van der","year":"1998","unstructured":"van der Meyden, R.: Common knowledge and update in finite environments. Inf. Comput.\u00a0140(2), 115\u2013157 (1998)","journal-title":"Inf. Comput."},{"issue":"3","key":"35_CR12","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1015625600613","volume":"12","author":"T.-S. Yoo","year":"2002","unstructured":"Yoo, T.-S., Lafortune, S.: A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems\u00a012(3), 335\u2013377 (2002)","journal-title":"Discrete Event Dynamic Systems"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14295-6_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:50:39Z","timestamp":1606186239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14295-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642142949","9783642142956"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14295-6_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}