{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:42:57Z","timestamp":1762101777450,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319249520"},{"type":"electronic","value":"9783319249537"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24953-7_28","type":"book-chapter","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T15:00:11Z","timestamp":1444230011000},"page":"378-393","source":"Crossref","is-referenced-by-count":2,"title":["Hierarchical Information Patterns and Distributed Strategy Synthesis"],"prefix":"10.1007","author":[{"given":"Dietmar","family":"Berwanger","sequence":"first","affiliation":[]},{"given":"Anup Basil","family":"Mathew","sequence":"additional","affiliation":[]},{"given":"Marie","family":"van den Bogaard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"28_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/10719839_39","volume-title":"LATIN 2000: Theoretical Informatics","author":"M-P B\u00e9al","year":"2000","unstructured":"B\u00e9al, M.-P., Carton, O., Prieur, C., Sakarovitch, J.: Squaring transducers: an efficient procedure for deciding functionality and sequentiality of transducers. In: Gonnet, G.H., Viola, A. (eds.) LATIN 2000. LNCS, vol. 1776, pp. 397\u2013406. Springer, Heidelberg (2000)"},{"key":"28_CR2","unstructured":"Berwanger, D., Kaiser, L., Puchala, B.: A perfect-information construction for coordination in games. In: Chakraborty, S., Kumar, A. (eds.) FSTTCS 2011, LIPiCS, Leibniz-Zentrum f\u00fcr Informatik, 13, pp. 387\u2013398 (2011)"},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"JR B\u00fcchi","year":"1969","unstructured":"B\u00fcchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Trans. Am. Math. Soc. 138, 295\u2013311 (1969)","journal-title":"Trans. Am. Math. Soc."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Schewe, S.: Uniform distributed synthesis. In: Panagaden, P. (ed.) LICS 2005, pp. 321\u2013330. IEEE (2005)","DOI":"10.1109\/LICS.2005.53"},{"key":"28_CR5","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10703-008-0064-7","volume":"34","author":"P Gastin","year":"2009","unstructured":"Gastin, P., Sznajder, N., Zeitoun, M.: Distributed synthesis for well-connected architectures. Formal Methods Sys. Des. 34, 215\u2013237 (2009)","journal-title":"Formal Methods Sys. Des."},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-662-46678-0_14","volume-title":"Foundations of Software Science and Computation Structures","author":"B Genest","year":"2015","unstructured":"Genest, B., Peled, D., Schewe, S.: Knowledge = observation + memory + computation. In: Pitts, A. (ed.) FOSSACS 2015. LNCS, vol. 9034, pp. 215\u2013229. Springer, Heidelberg (2015)"},{"key":"28_CR7","series-title":"LNCS","volume-title":"Automata, Logics, and Infinite Games","year":"2002","unstructured":"Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.): Automata, Logics, and Infinite Games. LNCS, vol. 2500. Springer, Heidelberg (2002)"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-69507-3_26","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"D Janin","year":"2007","unstructured":"Janin, D.: On the (high) undecidability of distributed synthesis problems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 320\u2013329. Springer, Heidelberg (2007)"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11513988_23","volume-title":"Computer Aided Verification","author":"B Jobstmann","year":"2005","unstructured":"Jobstmann, B., Griesmayer, A., Bloem, R.: Program repair as a game. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 226\u2013238. Springer, Heidelberg (2005)"},{"key":"28_CR10","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/S0022-0000(75)80050-X","volume":"11","author":"ND Jones","year":"1975","unstructured":"Jones, N.D.: Space-bounded reducibility among combinatorial problems. J. Comput. Syst. Sci. 11, 68\u201385 (1975)","journal-title":"J. Comput. Syst. Sci."},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/978-3-642-22110-1_41","volume-title":"Computer Aided Verification","author":"G Katz","year":"2011","unstructured":"Katz, G., Peled, D., Schewe, S.: Synthesis of distributed control through knowledge accumulation. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 510\u2013525. Springer, Heidelberg (2011)"},{"key":"28_CR12","unstructured":"Kupferman, O., Vardi, M.Y.: Synthesizing distributed systems. In: Halpern, J. (ed.) LICS 2001, pp. 389\u2013398. IEEE Computer Society Press, June 2001"},{"key":"28_CR13","unstructured":"Muscholl, A., Walukiewicz, I.: Distributed synthesis for acyclic architectures. In: Raman, V., Suresh, S. P. (eds.) FSTTCS, LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 29, pp. 639\u2013651 (2014)"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Peterson, G.L., Reif, J.H.: Multiple-person alternation. In: FOCS 1979, pp. 348\u2013363. IEEE (1979)","DOI":"10.1109\/SFCS.1979.25"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: FOCS 1990, pp. 746\u2013757. IEEE Computer Society Press (1990)","DOI":"10.1109\/FSCS.1990.89597"},{"key":"28_CR16","unstructured":"Puchala, B.: Synthesis of Winning Strategies for Interaction under Partial Information, P.hD. thesis, RWTH Aachen University (2013)"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Rabin, M.O.: Automata on infinite objects and Church\u2019s thesis, no. 13 in Regional Conference Series in Mathematics, American Mathematical Society (1972)","DOI":"10.1090\/cbms\/013"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E. W., Puech, C. (eds.) STACS 1995, pp. 1\u201313 (1995)","DOI":"10.1007\/3-540-59042-0_57"},{"key":"28_CR19","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1995.1071","volume":"118","author":"A Weber","year":"1995","unstructured":"Weber, A., Klemm, R.: Economy of description for single-valued transducers. Inf. Comput. 118, 327\u2013340 (1995)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24953-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T23:03:10Z","timestamp":1748646190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24953-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319249520","9783319249537"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24953-7_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}