@inproceedings{5b3d937aa90243ebb5e7c362d14dcd64,
title = "Weak models of distributed computing, with connections to modal logic",
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 Virtema Jonni",
year = "2012",
doi = "10.1145/2332432.2332466",
language = "English",
isbn = "978-1-4503-1450-3",
series = "ACM Symposium on Principles of Distributed Computing",
pages = "185--194",
booktitle = "Proceedings of the 2012 ACM symposium on Principles of distributed computing",
}