{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:25:13Z","timestamp":1725600313828},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229923"},{"type":"electronic","value":"9783642229930"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22993-0_48","type":"book-chapter","created":{"date-parts":[[2011,8,9]],"date-time":"2011-08-09T08:44:46Z","timestamp":1312879486000},"page":"532-543","source":"Crossref","is-referenced-by-count":1,"title":["Distributed Synthesis for Regular and Contextfree Specifications"],"prefix":"10.1007","author":[{"given":"Wladimir","family":"Fridman","sequence":"first","affiliation":[]},{"given":"Bernd","family":"Puchala","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"J.R. B\u00fcchi","year":"1969","unstructured":"B\u00fcchi, J.R., Landweber, L.H.: Solving Sequential Conditions by Finite-State Strategies. Trans. Amer. Math. Soc.\u00a0138, 367\u2013378 (1969)","journal-title":"Trans. Amer. Math. Soc."},{"key":"48_CR2","unstructured":"Church, A.: Applications of Recursive Arithmetic to the Problem of Circuit Synthesis. Sum. of the Sum. Inst. of Symb. Log. I, 3\u201350 (1957)"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Cohen, R.S., Gold, A.Y.: Theory of Omega-Languages. I. Characterizations of Omega-Context-Free Languages. J. Comput. Syst. Sci.\u00a015(2) (1977)","DOI":"10.1016\/S0022-0000(77)80004-4"},{"key":"48_CR4","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A., Kupferman, O.: Concurrent Reachability Games. In: FOCS 1998 (1998)","DOI":"10.1109\/SFCS.1998.743507"},{"key":"48_CR5","first-page":"321","volume-title":"LICS 2005","author":"B. Finkbeiner","year":"2005","unstructured":"Finkbeiner, B., Schewe, S.: Uniform Distributed Synthesis. In: LICS 2005, pp. 321\u2013330. IEEE, Los Alamitos (2005)"},{"key":"48_CR6","doi-asserted-by":"crossref","unstructured":"Finkel, O.: Topological Properties of Omega Context-Free Languages. Theor. Comput. Sci.\u00a0262(1) (2001)","DOI":"10.1016\/S0304-3975(00)00405-9"},{"key":"48_CR7","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"O. Kupferman","year":"2002","unstructured":"Kupferman, O., Piterman, N., Vardi, M.Y.: Pushdown Specifications. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol.\u00a02514, Springer, Heidelberg (2002)"},{"key":"48_CR8","doi-asserted-by":"crossref","unstructured":"Kupferman, O., Vardi, M.Y.: Church\u2019s Problem Revisited. Bulletin of Symbolic Logic\u00a05(2) (1999)","DOI":"10.2307\/421091"},{"key":"48_CR9","unstructured":"Kupferman, O., Vardi, M.Y.: Synthesizing Distributed Systems. In: LICS 2001 (2001)"},{"key":"48_CR10","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":"48_CR11","volume-title":"FOCS 1977","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: FOCS 1977. IEEE, Los Alamitos (1977)"},{"key":"48_CR12","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the Synthesis of a Reactive Module. In: POPL 1989, pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"key":"48_CR13","first-page":"746","volume-title":"FOCS 1990","author":"A. Pnueli","year":"1990","unstructured":"Pnueli, A., Rosner, R.: Distributed Reactive Systems are Hard to Synthesize. In: FOCS 1990, pp. 746\u2013757. IEEE, Los Alamitos (1990)"},{"key":"48_CR14","doi-asserted-by":"crossref","DOI":"10.1090\/cbms\/013","volume-title":"Automata on Infinite Objects and Church\u2019s Problem","author":"M.O. Rabin","year":"1972","unstructured":"Rabin, M.O.: Automata on Infinite Objects and Church\u2019s Problem. Amer. Math. Soc., Providence (1972)"},{"key":"48_CR15","doi-asserted-by":"crossref","unstructured":"Safra, S.: On the Complexity of Omega-Automata. In: FOCS 1988 (1988)","DOI":"10.1109\/SFCS.1988.21948"},{"key":"48_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-61474-5_58","volume-title":"Computer Aided Verification","author":"I. Walukiewicz","year":"1996","unstructured":"Walukiewicz, I.: Pushdown Processes: Games and Model Checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 62\u201374. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22993-0_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T07:40:29Z","timestamp":1620027629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22993-0_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229923","9783642229930"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22993-0_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}