TY - CONF T1 - Weak models of distributed computing, with connections to modal logic JO - Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12 PY - 2012/08/20 AU - Hella L AU - Järvisalo M AU - Kuusisto A AU - Laurinharju J AU - Lempiäinen T AU - Luosto K AU - Suomela J AU - Virtema J ED - DO - DOI: 10.1145/2332432.2332466 PB - ACM Press Y2 - 2024/09/19 ER -