Weak models of distributed computing, with connections to modal logic

Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema. Weak models of distributed computing, with connections to modal logic. In Darek Kowalski, Alessandro Panconesi, editors, ACM Symposium on Principles of Distributed Computing, PODC '12, Funchal, Madeira, Portugal, July 16-18, 2012. pages 185-194, ACM, 2012. [doi]

@inproceedings{HellaJKLLLSV12,
  title = {Weak models of distributed computing, with connections to modal logic},
  author = {Lauri Hella and Matti Järvisalo and Antti Kuusisto and Juhana Laurinharju and Tuomo Lempiäinen and Kerkko Luosto and Jukka Suomela and Jonni Virtema},
  year = {2012},
  doi = {10.1145/2332432.2332466},
  url = {http://doi.acm.org/10.1145/2332432.2332466},
  researchr = {https://researchr.org/publication/HellaJKLLLSV12},
  cites = {0},
  citedby = {0},
  pages = {185-194},
  booktitle = {ACM Symposium on Principles of Distributed Computing, PODC '12, Funchal, Madeira, Portugal, July 16-18, 2012},
  editor = {Darek Kowalski and Alessandro Panconesi},
  publisher = {ACM},
  isbn = {978-1-4503-1450-3},
}