Rajeev Alur, Kousha Etessami, Salvatore La Torre & Doron Peled (2001):
Parametric temporal logic for "model measuring".
ACM Trans. Comput. Log. 2(3),
pp. 388–407,
doi:10.1145/377978.377990.
Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi & Yael Zbar (2002):
The ForSpec Temporal Logic: A New Temporal Property-Specification Language.
In: Joost-Pieter Katoen & Perdita Stevens: TACAS 2002,
LNCS 2280.
Springer,
pp. 296–311,
doi:10.1007/3-540-46002-0_21.
Christel Baier & Joost-Pieter Katoen (2008):
Principles of Model Checking.
The MIT Press.
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop & Andreas Pavlogiannis (2013):
Distributed synthesis for LTL fragments.
In: FMCAD 2013.
IEEE,
pp. 18–25,
doi:10.1109/FMCAD.2013.6679386.
Cindy Eisner & Dana Fisman (2006):
A Practical Introduction to PSL.
Integrated Circuits and Systems.
Springer,
doi:10.1007/978-0-387-36123-9.
Peter Faymonville & Martin Zimmermann (2014):
Parametric Linear Dynamic Logic.
In: GandALF 2014,
EPTCS 161,
pp. 60–73,
doi:10.4204/EPTCS.161.8.
Full version accepted for publication at Information and Computation.
Bernd Finkbeiner & Sven Schewe (2005):
Uniform Distributed Synthesis.
In: LICS 2005.
IEEE Computer Society,
pp. 321–330,
doi:10.1109/LICS.2005.53.
Bernd Finkbeiner & Sven Schewe (2013):
Bounded synthesis.
STTT 15(5-6),
pp. 519–539,
doi:10.1007/s10009-012-0228-z.
Wladimir Fridman & Bernd Puchala (2014):
Distributed synthesis for regular and contextfree specifications.
Acta Inf. 51(3-4),
pp. 221–260,
doi:10.1007/s00236-014-0194-x.
Paul Gastin & Nathalie Sznajder (2013):
Fair Synthesis for Asynchronous Distributed Systems.
ACM Trans. Comput. Log. 14(2),
pp. 9,
doi:10.1145/2480759.2480761.
Paul Gastin, Nathalie Sznajder & Marc Zeitoun (2009):
Distributed synthesis for well-connected architectures.
Formal Methods in System Design 34(3),
pp. 215–237,
doi:10.1007/s10703-008-0064-7.
Orna Kupferman, Nir Piterman & Moshe Y. Vardi (2009):
From liveness to promptness.
Formal Methods in System Design 34(2),
pp. 83–103,
doi:10.1007/s10703-009-0067-z.
Orna Kupferman & Moshe Y. Vardi (2001):
Synthesizing Distributed Systems.
In: LICS 2001.
IEEE Computer Society,
pp. 389–398,
doi:10.1109/LICS.2001.932514.
Parthasarathy Madhusudan & Pazhamaneri Subramaniam Thiagarajan (2001):
Distributed Controller Synthesis for Local Specifications.
In: ICALP 2011,
LNCS 2076.
Springer,
pp. 396–407,
doi:10.1007/3-540-48224-5_33.
Swarup Mohalik & Igor Walukiewicz (2003):
Distributed Games.
In: Paritosh K. Pandya & Jaikumar Radhakrishnan: FSTTCS 2003,
LNCS 2914.
Springer,
pp. 338–351,
doi:10.1007/978-3-540-24597-1_29.
Amir Pnueli (1977):
The temporal logic of programs.
In: FOCS 1977.
IEEE,
pp. 46–57,
doi:10.1109/SFCS.1977.32.
Amir Pnueli & Roni Rosner (1990):
Distributed Reactive Systems Are Hard to Synthesize.
In: FOCS 1990.
IEEE Computer Society,
pp. 746–757,
doi:10.1109/FSCS.1990.89597.
Sven Schewe (2014):
Distributed synthesis is simply undecidable.
Inf. Process. Lett. 114(4),
pp. 203–207,
doi:10.1016/j.ipl.2013.11.012.
Sven Schewe & Bernd Finkbeiner (2006):
Synthesis of Asynchronous Systems.
In: LOPSTR 2006,
LNCS 4407.
Springer,
pp. 127–142,
doi:10.1007/978-3-540-71410-1_10.
Martin Zimmermann (2013):
Optimal bounds in parametric LTL games.
Theor. Comput. Sci. 493,
pp. 30–45,
doi:10.1016/j.tcs.2012.07.039.
Martin Zimmermann (2015):
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL.
In: Javier Esparza & Enrico Tronci: GandALF 2015,
EPTCS 193,
pp. 144–157,
doi:10.4204/EPTCS.193.11.