@inproceedings(DBLP:conf/date/BloemGJPPW07, author = {Roderick Bloem and Stefan J. Galler and Barbara Jobstmann and Nir Piterman and Amir Pnueli and Martin Weiglhofer}, year = {2007}, title = {Interactive presentation: Automatic hardware synthesis from specifications: a case study}, booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition, {DATE} 2007, Nice, France, April 16-20, 2007}, pages = {1188--1193}, doi = {10.1145/1266366.1266622}, ) @article(church1963application, author = {Alonzo Church}, year = {1963}, title = {Application of recursive arithmetic to the problem of circuit synthesis}, ) @inproceedings(DBLP:conf/cav/ClarkeGJLV00, author = {Edmund M. Clarke and Orna Grumberg and Somesh Jha and Yuan Lu and Helmut Veith}, year = {2000}, title = {Counterexample-Guided Abstraction Refinement}, booktitle = {Computer Aided Verification, 12th International Conference, {CAV} 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings}, pages = {154--169}, doi = {10.1007/10722167_15}, ) @book(DBLP:series/eatcs/EsparzaH08, author = {Javier Esparza and Keijo Heljanko}, year = {2008}, title = {Unfoldings - {A} Partial-Order Approach to Model Checking}, series = {Monographs in Theoretical Computer Science. An {EATCS} Series}, publisher = {Springer}, doi = {10.1007/978-3-540-77426-6}, ) @inproceedings(DBLP:conf/birthday/Finkbeiner15, author = {Bernd Finkbeiner}, year = {2015}, title = {Bounded Synthesis for Petri Games}, booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings}, pages = {223--237}, doi = {10.1007/978-3-319-23506-6_15}, ) @inproceedings(DBLP:conf/cav/FinkbeinerGO15, author = {Bernd Finkbeiner and Manuel Gieseking and Ernst{-}R{\"{u}}diger Olderog}, year = {2015}, title = {Adam: Causality-Based Synthesis of Distributed Systems}, booktitle = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {I}}, pages = {433--439}, doi = {10.1007/978-3-319-21690-4_25}, ) @inproceedings(DBLP:journals/corr/FinkbeinerO14, author = {Bernd Finkbeiner and Ernst{-}R{\"{u}}diger Olderog}, year = {2014}, title = {Petri Games: Synthesis of Distributed Systems with Causal Memory}, booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014.}, pages = {217--230}, doi = {10.4204/EPTCS.161.19}, ) @article(DBLP:journals/iandc/FinkbeinerO17, author = {Bernd Finkbeiner and Ernst{-}R{\"{u}}diger Olderog}, year = {2017}, title = {Petri games: Synthesis of distributed systems with causal memory}, journal = {Inf. Comput.}, volume = {253}, pages = {181--203}, doi = {10.1016/j.ic.2016.07.006}, ) @inproceedings(DBLP:conf/lics/FinkbeinerS05, author = {Bernd Finkbeiner and Sven Schewe}, year = {2005}, title = {Uniform Distributed Synthesis}, booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings}, pages = {321--330}, doi = {10.1109/LICS.2005.53}, ) @article(DBLP:journals/sttt/FinkbeinerS13, author = {Bernd Finkbeiner and Sven Schewe}, year = {2013}, title = {Bounded synthesis}, journal = {{STTT}}, volume = {15}, number = {5-6}, pages = {519--539}, doi = {10.1007/s10009-012-0228-z}, ) @inproceedings(DBLP:conf/lics/KupfermanV01, author = {Orna Kupferman and Moshe Y. Vardi}, year = {2001}, title = {Synthesizing Distributed Systems}, booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings}, pages = {389--398}, doi = {10.1109/LICS.2001.932514}, ) @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}, booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings}, pages = {201--212}, doi = {10.1007/11590156_16}, ) @book(olderog91, author = {Ernst{-}R{\"{u}}diger Olderog}, year = {1991}, title = {Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511526589}, ) @inproceedings(DBLP:conf/popl/PnueliR89, author = {Amir Pnueli and Roni Rosner}, year = {1989}, title = {On the Synthesis of a Reactive Module}, booktitle = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989}, pages = {179--190}, doi = {10.1145/75277.75293}, ) @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, St. Louis, Missouri, USA, October 22-24, 1990, Volume {II}}, pages = {746--757}, doi = {10.1109/FSCS.1990.89597}, ) @article(qcir, author = {{QBF Gallery 2014}}, title = {{QCIR-G14}: A Non-Prenex Non-{CNF} Format for Quantified {Boolean} Formulas}, url = {http://qbf.satisfiability.org/gallery/qcir-gallery14.pdf}, ) @inproceedings(conf/sat/Tentrup16, author = {Leander Tentrup}, year = {2016}, title = {Non-prenex {QBF} Solving Using Abstraction}, booktitle = {Proceedings of {SAT}}, series = {LNCS}, volume = {9710}, publisher = {Springer}, pages = {393--401}, doi = {10.1007/978-3-319-40970-2_24}, ) @article(DBLP:journals/ita/Zielonka87, author = {Wieslaw Zielonka}, year = {1987}, title = {Notes on Finite Asynchronous Automata}, journal = {{ITA}}, volume = {21}, number = {2}, pages = {99--135}, doi = {10.1051/ita/1987210200991}, )