{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:20:35Z","timestamp":1776316835992,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,1,16]],"date-time":"2009-01-16T00:00:00Z","timestamp":1232064000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s10703-008-0064-7","type":"journal-article","created":{"date-parts":[[2009,1,15]],"date-time":"2009-01-15T12:53:59Z","timestamp":1232024039000},"page":"215-237","source":"Crossref","is-referenced-by-count":22,"title":["Distributed synthesis for well-connected architectures"],"prefix":"10.1007","volume":"34","author":[{"given":"Paul","family":"Gastin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathalie","family":"Sznajder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Zeitoun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,1,16]]},"reference":[{"key":"64_CR1","series-title":"Lecture notes in computer science","first-page":"1","volume-title":"Proceedings of the 16th international colloquium on automata, languages and programming (ICALP\u201989)","author":"M Abadi","year":"1989","unstructured":"Abadi M, Lamport L, Wolper P (1989) Realizable and unrealizable specifications of reactive systems. In: Ausiello G, Dezani-Ciancaglini M, Ronchi\u00a0Della\u00a0Rocca S (eds) Proceedings of the 16th international colloquium on automata, languages and programming (ICALP\u201989). Lecture notes in computer science, vol 372. Springer, Berlin, pp 1\u201317"},{"issue":"4","key":"64_CR2","doi-asserted-by":"crossref","first-page":"1204","DOI":"10.1109\/18.850663","volume":"46","author":"R Ahlswede","year":"2000","unstructured":"Ahlswede R, Cai N, Li S-YR, Yeung RW (2000) Network information flow. IEEE Trans Inf Theory 46(4):1204\u20131216","journal-title":"IEEE Trans Inf Theory"},{"issue":"303","key":"64_CR3","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0304-3975(02)00442-5","volume":"1","author":"A Arnold","year":"2003","unstructured":"Arnold A, Vincent A, Walukiewicz I (2003) Games for synthesis of controllers with partial observation. Theor Comput Sci 1(303):7\u201334","journal-title":"Theor Comput Sci"},{"key":"64_CR4","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/11888116_14","volume-title":"Proceedings of the 26th IFIP WG6.1 international conference on formal techniques for networked and distributed systems (FORTE\u201906)","author":"J Bernet","year":"2006","unstructured":"Bernet J, Janin D (2006) On distributed program specification and synthesis in architectures with cycles. In: Najm E, Pradat-Peyre J-F, Donzeau-Gouge V (eds) Proceedings of the 26th IFIP WG6.1 international conference on formal techniques for networked and distributed systems (FORTE\u201906). Lecture notes in computer science, vol 4229. Springer, Berlin, pp 175\u2013190"},{"key":"64_CR5","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"JR B\u00fcchi","year":"1969","unstructured":"B\u00fcchi JR, Landweber LH (1969) Solving sequential conditions by finite-state strategies. Trans Am Math Soc 138:295\u2013311","journal-title":"Trans Am Math Soc"},{"key":"64_CR6","unstructured":"Church A (1962) Logic, arithmetics, and automata. In: Proceedings of the international congress of mathematicians, pp 23\u201335"},{"key":"64_CR7","unstructured":"Clarke EM, Emerson EA (1981) Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proceedings of the IBM workshop on logics of programs"},{"key":"64_CR8","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1109\/LICS.2005.53","volume-title":"Proceedings of the 20th IEEE annual symposium on logic in computer science (LICS\u201905)","author":"B Finkbeiner","year":"2005","unstructured":"Finkbeiner B, Schewe S (2005) Uniform distributed synthesis. In: Proceedings of the 20th IEEE annual symposium on logic in computer science (LICS\u201905). IEEE Comput Soc, Los\u00a0Alamitos, pp 321\u2013330"},{"key":"64_CR9","series-title":"Lecture notes in computer science","first-page":"127","volume-title":"Proceedings of the international symposium on logic-based program synthesis and transformation (LOPSTR\u201906)","author":"B Finkbeiner","year":"2006","unstructured":"Finkbeiner B, Schewe S (2006) Synthesis of asynchronous systems. In: Puebla G (ed) Proceedings of the international symposium on logic-based program synthesis and transformation (LOPSTR\u201906). Lecture notes in computer science, vol 4407. Springer, Berlin, pp 127\u2013142"},{"key":"64_CR10","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/978-3-540-30538-5_23","volume-title":"Proceedings of the 24th conference on foundations of software technology and theoretical computer science (FSTTCS\u201904)","author":"P Gastin","year":"2004","unstructured":"Gastin P, Lerman B, Zeitoun M (2004) Distributed games with causal memory are decidable for series-parallel systems. In: Lodaya K, Mahajan M (eds) Proceedings of the 24th conference on foundations of software technology and theoretical computer science (FSTTCS\u201904). Lecture notes in computer science, vol 3328. Springer, Berlin, pp 275\u2013286"},{"key":"64_CR11","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/11944836_30","volume-title":"Proceedings of the 26th conference on foundations of software technology and theoretical computer science (FSTTCS\u201906)","author":"P Gastin","year":"2006","unstructured":"Gastin P, Sznajder N, Zeitoun M (2006) Distributed synthesis for well-connected architectures. In: Garg N, Arun-Kumar S (eds) Proceedings of the 26th conference on foundations of software technology and theoretical computer science (FSTTCS\u201906). Lecture notes in computer science, vol 4337. Springer, Berlin, pp 321\u2013332"},{"key":"64_CR12","unstructured":"Kupferman O, Vardi MY (1997) Synthesis with incomplete information. In: Proceedings of the 2nd international conference on temporal logic (ICTL\u201997), pp 91\u2013106"},{"issue":"2","key":"64_CR13","doi-asserted-by":"crossref","first-page":"245","DOI":"10.2307\/421091","volume":"5","author":"O Kupferman","year":"1999","unstructured":"Kupferman O, Vardi MY (1999) Church\u2019s problem revisited. Bull Symb Log 5(2):245\u2013263","journal-title":"Bull Symb Log"},{"key":"64_CR14","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/3-540-44612-5_45","volume-title":"Proceedings of the 25th international symposium on mathematical foundations of computer science (MFCS\u201900)","author":"O Kupferman","year":"2000","unstructured":"Kupferman O, Vardi MY (2000) \u03bc-calculus synthesis. In: Nielsen M, Rovan B (eds) Proceedings of the 25th international symposium on mathematical foundations of computer science (MFCS\u201900). Lecture notes in computer science, vol 1893. Springer, Berlin, pp 497\u2013507"},{"key":"64_CR15","volume-title":"Proceedings of the 16th IEEE annual symposium on logic in computer science (LICS\u201901)","author":"O Kupferman","year":"2001","unstructured":"Kupferman O, Vardi MY (2001) Synthesizing distributed systems. In: Halpern JY (ed) Proceedings of the 16th IEEE annual symposium on logic in computer science (LICS\u201901). IEEE Comput Soc, Los Alamitos"},{"key":"64_CR16","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1007\/3-540-48224-5_33","volume-title":"Proceedings of the 28th international colloquium on automata, languages and programming (ICALP\u201901)","author":"P Madhusudan","year":"2001","unstructured":"Madhusudan P, Thiagarajan PS (2001) Distributed controller synthesis for local specifications. In: Orejas F, Spirakis PG, van Leeuwen J (eds) Proceedings of the 28th international colloquium on automata, languages and programming (ICALP\u201901). Lecture notes in computer science, vol 2076. Springer, Berlin, pp 396\u2013407"},{"key":"64_CR17","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/3-540-45694-5_11","volume-title":"Proceedings of the 13th international conference on concurrency theory (CONCUR\u201902)","author":"P Madhusudan","year":"2002","unstructured":"Madhusudan P, Thiagarajan PS (2002) A decidable class of asynchronous distributed controllers. In: Brim L, Jancar P, Kret\u00ednsk\u00fd M, Kucera A (eds) Proceedings of the 13th international conference on concurrency theory (CONCUR\u201902). Lecture notes in computer science, vol 2421. Springer, Berlin, pp\u00a0145\u2013160"},{"key":"64_CR18","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/11590156_16","volume-title":"Proceedings of the 25th conference on foundations of software technology and theoretical computer science (FSTTCS\u201905)","author":"P Madhusudan","year":"2005","unstructured":"Madhusudan P, Thiagarajan PS, Yang S (2005) The MSO theory of connectedly communicating processes. In: Ramanujam R, Sen S (eds) Proceedings of the 25th conference on foundations of software technology and theoretical computer science (FSTTCS\u201905). Lecture notes in computer science, vol\u00a03821. Springer, Berlin, pp 201\u2013212"},{"key":"64_CR19","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/978-3-540-24597-1_29","volume-title":"Proceedings of the 23rd conference on foundations of software technology and theoretical computer science (FSTTCS\u201903)","author":"S Mohalik","year":"2003","unstructured":"Mohalik S, Walukiewicz I (2003) Distributed games. In: Pandya PK, Radhakrishnan J (eds) Proceedings of the 23rd conference on foundations of software technology and theoretical computer science (FSTTCS\u201903). Lecture notes in computer science, vol 2914. Springer, Berlin, pp 338\u2013351"},{"issue":"1&2","key":"64_CR20","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0304-3975(94)00214-4","volume":"141","author":"DE Muller","year":"1995","unstructured":"Muller DE, Schupp PE (1995) Simulating alternating tree automata by nondeterministic automata: new results and new proofs of theorems of Rabin McNaughton and Safra. Theor Comput Sci 141(1&2):69\u2013107","journal-title":"Theor Comput Sci"},{"key":"64_CR21","first-page":"348","volume-title":"Proceedings of the 20th annual IEEE symposium on foundations of computer science (FOCS\u201979)","author":"GL Peterson","year":"1979","unstructured":"Peterson GL, Reif JH (1979) Multiple-person alternation. In: Proceedings of the 20th annual IEEE symposium on foundations of computer science (FOCS\u201979). IEEE Comput Soc, Los Alamitos, pp 348\u2013363"},{"key":"64_CR22","first-page":"179","volume-title":"Proceedings of the 16th annual ACM symposium on principles of programming languages (POPL\u201989)","author":"A Pnueli","year":"1989","unstructured":"Pnueli A, Rosner R (1989) On the synthesis of a reactive module. In: Proceedings of the 16th annual ACM symposium on principles of programming languages (POPL\u201989). ACM, New York, pp 179\u2013190"},{"key":"64_CR23","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"652","DOI":"10.1007\/BFb0035790","volume-title":"Proceedings of the 16th international colloquium on automata, languages and programming (ICALP\u201989)","author":"A Pnueli","year":"1989","unstructured":"Pnueli A, Rosner R (1989) On the synthesis of an asynchronous reactive module. In: Ausiello G, Dezani-Ciancaglini M, Ronchi\u00a0Della\u00a0Rocca S (eds) Proceedings of the 16th international colloquium on automata, languages and programming (ICALP\u201989). Lecture notes in computer science, vol 372. Springer, Berlin, pp 652\u2013671"},{"key":"64_CR24","first-page":"746","volume-title":"Proceedings of the 31st annual IEEE symposium on foundations of computer science (FOCS\u201990)","author":"A Pnueli","year":"1990","unstructured":"Pnueli A, Rosner R (1990) Distributed reactive systems are hard to synthesize. In: Proceedings of the 31st annual IEEE symposium on foundations of computer science (FOCS\u201990), vol II. IEEE Comput Soc, Los\u00a0Alamitos, pp 746\u2013757"},{"key":"64_CR25","first-page":"142","volume-title":"Proceedings of the 15th ACM-SIAM symposium on discrete algorithms (SODA\u201904)","author":"A Rasala Lehman","year":"2004","unstructured":"Rasala Lehman A, Lehman E (2004) Complexity classification of network information flow problems. In: Munro JI (ed) Proceedings of the 15th ACM-SIAM symposium on discrete algorithms (SODA\u201904). SIAM, Philadelphia, pp 142\u2013150"},{"key":"64_CR26","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-540-45187-7_2","volume-title":"Proceedings of the 14th international conference on concurrency theory (CONCUR\u201903)","author":"A Stef\u0103nescu","year":"2003","unstructured":"Stef\u0103nescu A, Esparza J, Muscholl A (2003) Synthesis of distributed algorithms using asynchronous automata. In: Amadio R, Lugiez D (eds) Proceedings of the 14th international conference on concurrency theory (CONCUR\u201903). Lecture notes in computer science, vol 2761. Springer, Berlin, pp 27\u201341"},{"key":"64_CR27","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60275-5","volume-title":"Proceedings of the 12th international symposium on theoretical aspects of computer science (STACS\u201995)","author":"W Thomas","year":"1995","unstructured":"Thomas W (1995) On the synthesis of strategies in infinite games. In: Mayr EW, Puech C (eds) Proceedings of the 12th international symposium on theoretical aspects of computer science (STACS\u201995). Lecture notes in computer science, vol 900. Springer, Berlin, pp 1\u201313"},{"key":"64_CR28","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1007\/978-3-540-78127-1_35","volume-title":"Pillars of computer science","author":"W Thomas","year":"2008","unstructured":"Thomas W (2008) Church\u2019s problem and a tour through automata theory. In: Avron A, Dershowitz N, Rabinovich A (eds) Pillars of computer science. Lecture notes in computer science, vol 4800. Springer, Berlin, pp\u00a0635\u2013655"},{"key":"64_CR29","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/BFb0055614","volume-title":"Proceedings of the 9th international conference on concurrency theory (CONCUR\u201998)","author":"R Meyden van der","year":"1998","unstructured":"van der Meyden R, Vardi MY (1998) Synthesis from knowledge-based specifications. In: Sangiorgi D, de Simone R (eds) Proceedings of the 9th international conference on concurrency theory (CONCUR\u201998). Lecture notes in computer science, vol 1466. Springer, Berlin, pp 34\u201349"},{"key":"64_CR30","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"562","DOI":"10.1007\/11539452_42","volume-title":"Proceedings of the 16th international conference on concurrency theory (CONCUR\u201905)","author":"R Meyden van der","year":"2005","unstructured":"van der Meyden R, Wilke T (2005) Synthesis of distributed systems from knowledge-based specifications. In: Abadi M, de Alfaro L (eds) Proceedings of the 16th international conference on concurrency theory (CONCUR\u201905). Lecture notes in computer science, vol 3653. Springer, Berlin, pp 562\u2013576"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-008-0064-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-008-0064-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-008-0064-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T18:01:03Z","timestamp":1559239263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-008-0064-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,16]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["64"],"URL":"https:\/\/doi.org\/10.1007\/s10703-008-0064-7","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,16]]}}}