{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T22:41:01Z","timestamp":1741300861074,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642221095"},{"type":"electronic","value":"9783642221101"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22110-1_41","type":"book-chapter","created":{"date-parts":[[2011,7,4]],"date-time":"2011-07-04T13:08:45Z","timestamp":1309784925000},"page":"510-525","source":"Crossref","is-referenced-by-count":13,"title":["Synthesis of Distributed Control through Knowledge Accumulation"],"prefix":"10.1007","author":[{"given":"Gal","family":"Katz","sequence":"first","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Schewe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"41_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-02658-4_10","volume-title":"Computer Aided Verification","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":"41_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-15643-4_6","volume-title":"Automated Technology for Verification and Analysis","author":"S. Bensalem","year":"2010","unstructured":"Bensalem, S., Bozga, M., Graf, S., Peled, D., Quinton, S.: Methods for knowledge based controlling of distributed systems. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol.\u00a06252, pp. 52\u201366. Springer, Heidelberg (2010)"},{"issue":"3","key":"41_CR3","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/357103.357109","volume":"2","author":"E.M. Clarke","year":"1980","unstructured":"Clarke, E.M.: Synthesis of Resource Invariants for Concurrent Programs. ACM Transactions on Programming Languages and Systems\u00a02(3), 338\u2013358 (1980)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"41_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Schewe, S.: Uniform distributed synthesis. In: LICS 2005, Chicago, IL, pp. 321\u2013330 (2005)","DOI":"10.1109\/LICS.2005.53"},{"key":"41_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-14295-6_35","volume-title":"Computer Aided Verification","author":"S. Graf","year":"2010","unstructured":"Graf, S., Peled, D., Quinton, S.: Achieving Distributed Control through Model Checking. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 396\u2013409. Springer, Heidelberg (2010)"},{"issue":"3","key":"41_CR7","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/146637.146638","volume":"39","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Zuck, L.: A little knowledge goes a long way: knowledge based derivation and correctness proof for a family of protocols. Journal of the ACM\u00a039(3), 449\u2013478 (1992)","journal-title":"Journal of the ACM"},{"key":"41_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/978-3-642-12002-2_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Katz","year":"2010","unstructured":"Katz, G., Peled, D.: Code Mutation in Verification and Automatic Code Correction. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol.\u00a06015, pp. 435\u2013450. Springer, Heidelberg (2010)"},{"key":"41_CR9","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M.: Formal Verification of Parallel Programs. Communications of the ACM\u00a019, 371\u2013384 (1976)","journal-title":"Communications of the ACM"},{"key":"41_CR10","unstructured":"Kupferman, O., Vardi, M.Y.: Synthesizing Distributed Systems. In: LICS 2001, Boston, MA (2001)"},{"key":"41_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/3-540-48224-5_33","volume-title":"Automata, Languages and Programming","author":"P. Madhusudan","year":"2001","unstructured":"Madhusudan, P., Thiagarajan, P.S.: Distributed Controller Synthesis for Local Specifications. In: Yu, Y., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 396\u2013407. Springer, Heidelberg (2001)"},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: How to Cook a Temporal Proof System for Your Pet Language. In: POPL 1983, Austin, TX, pp. 141\u2013154 (1983)","DOI":"10.1145\/567067.567082"},{"key":"41_CR13","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/inco.1997.2679","volume":"140","author":"R. Meyden van der","year":"1980","unstructured":"van der Meyden, R.: Common Knowledge and Update in Finite Environment. Information and Computation\u00a0140, 115\u2013157 (1980)","journal-title":"Information and Computation"},{"key":"41_CR14","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0020-0190(97)00133-6","volume":"63","author":"D. Peled","year":"1997","unstructured":"Peled, D., Wilke, T.: Stutter-Invariant Temporal Properties are Expressible without the Text Time Operator. Information Processing Letters\u00a063, 243\u2013246 (1997)","journal-title":"Information Processing Letters"},{"issue":"12","key":"41_CR15","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"},{"key":"41_CR16","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: Distributed Reactive Systems are Hard to Synthesize. In: FOCS 1990, St. Louis, Missouri, pp. 746\u2013757 (1990)","DOI":"10.1109\/FSCS.1990.89597"},{"issue":"1","key":"41_CR17","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization\u00a025(1), 206\u2013230 (1987)","journal-title":"SIAM Journal on Control and Optimization"},{"issue":"9","key":"41_CR18","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. IEEE Transactions on Automatic Control\u00a045(9), 1656\u20131668 (2000)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"11","key":"41_CR19","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: descentralized supervisory control. IEEE Transactions on Automatic Control\u00a037(11), 1692\u20131708 (1992)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"41_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-540-71410-1_10","volume-title":"Logic-Based Program Synthesis and Transformation","author":"S. Schewe","year":"2007","unstructured":"Schewe, S., Finkbeiner, B.: Synthesis of Asynchronous Systems. In: Puebla, G. (ed.) LOPSTR 2006. LNCS, vol.\u00a04407, pp. 127\u2013142. Springer, Heidelberg (2007)"},{"key":"41_CR21","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1137\/0208013","volume":"8","author":"L.J. Stockmeyer","year":"1979","unstructured":"Stockmeyer, L.J., Chandra, A.K.: Provably Difficult Combinatorial Games. SIAM Journal of Computing\u00a08, 151\u2013174 (1979)","journal-title":"SIAM Journal of Computing"},{"key":"41_CR22","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 Descentralized Supervision. Systems and Control Letters\u00a054, 503\u2013509 (2005)","journal-title":"Systems and Control Letters"},{"issue":"1","key":"41_CR23","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. Information Processing Letters\u00a090(1), 21\u201328 (2004)","journal-title":"Information Processing Letters"},{"issue":"3","key":"41_CR24","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, Theory & Applications\u00a012(3), 335\u2013377 (2002)","journal-title":"Discrete Event Dynamic Systems, Theory & Applications"}],"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-22110-1_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T22:11:32Z","timestamp":1741299092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22110-1_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642221095","9783642221101"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22110-1_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}