@inproceedings{inproceedings, title = {{Weak models of distributed computing, with connections to modal logic}}, publisher = {{ACM}}, url = {{https://doi.org/10.1145/2332432.2332466 }}, year = {{2012}}, month = {{7}}, author = {{Hella L and Järvisalo M and Kuusisto A and Laurinharju J and Lempiäinen T and Luosto K and Suomela J and Virtema J}}, doi = {{10.1145/2332432.2332466}}, journal = {{Proceedings of the 2012 ACM symposium on Principles of distributed computing}}, pages = {{185-194}}, note = {{Accessed on 2026/01/07}}}