@inproceedings(DBLP:conf/concur/BeutnerFH19,
 author       = {Raven Beutner and Bernd Finkbeiner and Hecking{-}Harbusch, Jesko},
 year         = {2019},
 title        = {Translating Asynchronous Games for Distributed Synthesis},
 editor       = {Wan J. Fokkink and Rob van Glabbeek},
 booktitle    = {30th International Conference on Concurrency Theory, {CONCUR} 2019},
 series       = {LIPIcs},
 volume       = {140},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {26:1--26:16},
 doi          = {10.4230/LIPIcs.CONCUR.2019.26},
)
@inproceedings(DBLP:journals/corr/abs-1711-10636,
 author       = {Roderick Bloem and Sven Schewe and Ayrat Khalimov},
 year         = {2017},
 title        = {{CTL}* synthesis via {LTL} synthesis},
 editor       = {Dana Fisman and Swen Jacobs},
 booktitle    = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017},
 series       = {{EPTCS}},
 volume       = {260},
 pages        = {4--22},
 doi          = {10.4204/EPTCS.260.4},
)
@article(A.Church-reactive-systems,
 author       = {Alonzo Church},
 year         = {1957},
 title        = {Applications of recursive arithmetic to the problem of circuit synthesis},
 journal      = {Summaries of the Summer Institute of Symbolic Logic},
 volume       = {1},
 pages        = {3--50},
)
@article(DBLP:journals/acta/Engelfriet91,
 author       = {Joost Engelfriet},
 year         = {1991},
 title        = {Branching Processes of {Petri} Nets},
 journal      = {Acta Inf.},
 volume       = {28},
 number       = {6},
 pages        = {575--591},
 doi          = {10.1007/BF01463946},
)
@article(DBLP:journals/fmsd/EsparzaRV02,
 author       = {Javier Esparza and Stefan R{\"{o}}mer and Walter Vogler},
 year         = {2002},
 title        = {An Improvement of McMillan's Unfolding Algorithm},
 journal      = {Formal Methods Syst. Des.},
 volume       = {20},
 number       = {3},
 pages        = {285--310},
 doi          = {10.1023/A:1014746130920},
)
@inproceedings(DBLP:conf/birthday/Finkbeiner15,
 author       = {Bernd Finkbeiner},
 year         = {2015},
 title        = {Bounded Synthesis for {Petri} Games},
 editor       = {Roland Meyer and Andr{\'{e}} Platzer and Heike Wehrheim},
 booktitle    = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9360},
 publisher    = {Springer},
 pages        = {223--237},
 doi          = {10.1007/978-3-319-23506-6\_15},
)
@inproceedings(DBLP:journals/corr/abs-1710-05368,
 author       = {Bernd Finkbeiner and Paul G{\"o}lz},
 year         = {2018},
 title        = {{Synthesis in Distributed Environments}},
 editor       = {Satya Lokam and R. Ramanujam},
 booktitle    = {37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {93},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {28:1--28:14},
 doi          = {10.4230/LIPIcs.FSTTCS.2017.28},
)
@article(FINKBEINER2017181,
 author       = {Bernd Finkbeiner and Ernst-Rüdiger Olderog},
 year         = {2017},
 title        = {Petri games: Synthesis of distributed systems with causal memory},
 journal      = {Information and Computation},
 volume       = {253},
 pages        = {181--203},
 doi          = {10.1016/j.ic.2016.07.006},
 note         = {GandALF 2014},
)
@inproceedings(synthesis-FinkbeinerS05,
 author       = {Bernd Finkbeiner and Sven Schewe},
 year         = {2005},
 title        = {Uniform Distributed Synthesis},
 booktitle    = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005), Proceedings},
 pages        = {321--330},
 doi          = {10.1109/LICS.2005.53},
)
@inproceedings(DBLP:conf/icalp/GenestGMW13,
 author       = {Blaise Genest and Hugo Gimbert and Anca Muscholl and Igor Walukiewicz},
 year         = {2013},
 title        = {Asynchronous Games over Tree Architectures},
 editor       = {Fedor V. Fomin and Rusins Freivalds and Marta Z. Kwiatkowska and David Peleg},
 booktitle    = {Automata, Languages, and Programming - 40th International Colloquium, {ICALP} 2013, Proceedings, Part {II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {7966},
 publisher    = {Springer},
 pages        = {275--286},
 doi          = {10.1007/978-3-642-39212-2\_26},
)
@inproceedings(DBLP:conf/fsttcs/Gimbert17,
 author       = {Hugo Gimbert},
 year         = {2017},
 title        = {On the Control of Asynchronous Automata},
 editor       = {Satya V. Lokam and R. Ramanujam},
 booktitle    = {37th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2017, India},
 series       = {LIPIcs},
 volume       = {93},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {30:1--30:15},
 doi          = {10.4230/LIPIcs.FSTTCS.2017.30},
)
@article(DBLP:journals/lmcs/Gimbert22,
 author       = {Hugo Gimbert},
 year         = {2022},
 title        = {Distributed Asynchronous Games With Causal Memory are Undecidable},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {18},
 number       = {3},
 doi          = {10.46298/lmcs-18(3:30)2022},
)
@inproceedings(DBLP:conf/apn/HannibalO22,
 author       = {Paul Hannibal and Ernst{-}R{\"{u}}diger Olderog},
 year         = {2022},
 title        = {The Synthesis Problem for Repeatedly Communicating Petri Games},
 editor       = {Luca Bernardinello and Laure Petrucci},
 booktitle    = {Application and Theory of Petri Nets and Concurrency - 43rd International Conference, {PETRI} {NETS} 2022, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {13288},
 publisher    = {Springer},
 pages        = {236--257},
 doi          = {10.1007/978-3-031-06653-5\_13},
)
@article(Kupferman2001389,
 author       = {O. Kupferman and M.Y. Vardi},
 year         = {2001},
 title        = {Synthesizing distributed systems},
 journal      = {Proceedings - Symposium on Logic in Computer Science},
 pages        = {389--398},
 doi          = {10.1109/LICS.2001.932514},
)
@inproceedings(DBLP:conf/concur/MadhusudanT02,
 author       = {P. Madhusudan and P. S. Thiagarajan},
 year         = {2002},
 title        = {A Decidable Class of Asynchronous Distributed Controllers},
 editor       = {Lubos Brim and Petr Jancar and Kret{\'{\i}}nsk{\'{y}}, Mojm{\'{\i}}r and Anton{\'{\i}}n Kucera},
 booktitle    = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2421},
 publisher    = {Springer},
 pages        = {145--160},
 doi          = {10.1007/3-540-45694-5\_11},
)
@inproceedings(DBLP:conf/fsttcs/MadhusudanTY05,
 author       = {P. Madhusudan and P. S. Thiagarajan and Shaofa Yang},
 year         = {2005},
 title        = {The {MSO} Theory of Connectedly Communicating Processes},
 editor       = {Ramaswamy Ramanujam and Sandeep Sen},
 booktitle    = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3821},
 publisher    = {Springer},
 pages        = {201--212},
 doi          = {10.1007/11590156\_16},
)
@inproceedings(DBLP:conf/icalp/Muscholl15,
 author       = {Anca Muscholl},
 year         = {2015},
 title        = {Automated Synthesis of Distributed Controllers},
 editor       = {Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann},
 booktitle    = {Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Proceedings, Part {II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {9135},
 publisher    = {Springer},
 pages        = {11--27},
 doi          = {10.1007/978-3-662-47666-6\_2},
)
@inproceedings(DBLP:conf/icalp/PnueliR89,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1989},
 title        = {On the Synthesis of an Asynchronous Reactive Module},
 editor       = {Giorgio Ausiello and Dezani{-}Ciancaglini, Mariangiola and Simona Ronchi Della Rocca},
 booktitle    = {Automata, Languages and Programming, 16th International Colloquium, ICALP89, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {372},
 publisher    = {Springer},
 pages        = {652--671},
 doi          = {10.1007/BFb0035790},
)
@inproceedings(DBLP:conf/focs/PnueliR90,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1990},
 title        = {Distributed Reactive Systems Are Hard to Synthesize},
 booktitle    = {31st Annual Symposium on Foundations of Computer Science, Volume {II}},
 pages        = {746--757},
 doi          = {10.1109/FSCS.1990.89597},
)
@phdthesis(Rosnerpipelines,
 author       = {R. Rosner},
 year         = {1992},
 title        = {Modular synthesis of reactive systems},
 school       = {Weizmann Institute of Science, Rehovot, Israel},
)