@incollection(BlackburnB07,
 author       = {Patrick Blackburn and Johan van Benthem},
 year         = {2007},
 title        = {Modal logic: a semantic perspective},
 editor       = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
 booktitle    = {Handbook of Modal Logic},
 series       = {Studies in Logic and Practical Reasoning},
 volume       = {3},
 publisher    = {Elsevier},
 pages        = {1--84},
 doi          = {10.1016/S1570-2464(07)80004-8},
)
@book(BlackburnRV02,
 author       = {Patrick Blackburn and Maarten de Rijke and Yde Venema},
 year         = {2002},
 title        = {Modal logic},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 volume       = {53},
 publisher    = {Cambridge University Press, Cambridge},
 doi          = {10.1017/CBO9781107050884},
)
@inproceedings(DBLP:conf/podc/HellaJKLLLSV12,
 author       = {Lauri Hella and Matti J{\"{a}}rvisalo and Antti Kuusisto and Juhana Laurinharju and Tuomo Lempi{\"{a}}inen and Kerkko Luosto and Jukka Suomela and Jonni Virtema},
 year         = {2012},
 title        = {Weak models of distributed computing, with connections to modal logic},
 editor       = {Darek Kowalski and Alessandro Panconesi},
 booktitle    = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '12, Funchal, Madeira, Portugal, July 16-18, 2012},
 publisher    = {{ACM}},
 pages        = {185--194},
 doi          = {10.1145/2332432.2332466},
)
@article(DBLP:journals/dc/HellaJKLLLSV15,
 author       = {Lauri Hella and Matti J{\"{a}}rvisalo and Antti Kuusisto and Juhana Laurinharju and Tuomo Lempi{\"{a}}inen and Kerkko Luosto and Jukka Suomela and Jonni Virtema},
 year         = {2015},
 title        = {Weak models of distributed computing, with connections to modal logic},
 journal      = {Distributed Computing},
 volume       = {28},
 number       = {1},
 pages        = {31--53},
 doi          = {10.1007/s00446-013-0202-3},
 url          = {https://arxiv.org/abs/1205.2051},
)
@book(DBLP:books/daglib/Immerman99,
 author       = {Neil Immerman},
 year         = {1999},
 title        = {Descriptive complexity},
 series       = {Graduate texts in computer science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-0539-5},
)
@inproceedings(DBLP:conf/csl/Kuusisto13,
 author       = {Antti Kuusisto},
 year         = {2013},
 title        = {Modal Logic and Distributed Message Passing Automata},
 editor       = {Simona Ronchi Della Rocca},
 booktitle    = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5, 2013, Torino, Italy},
 series       = {LIPIcs},
 volume       = {23},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {452--468},
 doi          = {10.4230/LIPIcs.CSL.2013.452},
)
@inproceedings(DBLP:journals/corr/Kuusisto14a,
 author       = {Antti Kuusisto},
 year         = {2014},
 title        = {Infinite Networks, Halting and Local Algorithms},
 editor       = {Adriano Peron and Carla Piazza},
 booktitle    = {Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014.},
 series       = {{EPTCS}},
 volume       = {161},
 pages        = {147--160},
 doi          = {10.4204/EPTCS.161.14},
)
@incollection(DBLP:books/ws/automata2012/Loding12,
 author       = {Christof L{\"{o}}ding},
 year         = {2012},
 title        = {Basics on Tree Automata},
 editor       = {Deepak D'Souza and Priti Shankar},
 booktitle    = {Modern Applications of Automata Theory},
 series       = {IISc Research Monographs Series},
 volume       = {2},
 publisher    = {World Scientific},
 pages        = {79--109},
 doi          = {10.1142/9789814271059_0003},
)
@inproceedings(DBLP:conf/lics/Reiter15,
 author       = {Fabian Reiter},
 year         = {2015},
 title        = {Distributed Graph Automata},
 booktitle    = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015},
 publisher    = {{IEEE} Computer Society},
 pages        = {192--201},
 doi          = {10.1109/LICS.2015.27},
 url          = {https://arxiv.org/abs/1408.3030},
)
@inproceedings(DBLP:conf/icalp/Reiter17,
 author       = {Fabian Reiter},
 year         = {2017},
 title        = {Asynchronous Distributed Automata: {A} Characterization of the Modal Mu-Fragment},
 editor       = {Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl},
 booktitle    = {44th International Colloquium on Automata, Languages, and Programming, {ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
 series       = {LIPIcs},
 volume       = {80},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {100:1--100:14},
 doi          = {10.4230/LIPIcs.ICALP.2017.100},
 url          = {http://arxiv.org/abs/1611.08554},
)
@article(DBLP:journals/csur/Suomela13,
 author       = {Jukka Suomela},
 year         = {2013},
 title        = {Survey of local algorithms},
 journal      = {{ACM} Comput. Surv.},
 volume       = {45},
 number       = {2},
 pages        = {24:1--24:40},
 doi          = {10.1145/2431211.2431223},
)