TY - JOUR T1 - Weak models of distributed computing, with connections to modal logic JO - Distributed Computing UR - https://doi.org/10.1007/s00446-013-0202-3 PY - 2014/01/01 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.1007/s00446-013-0202-3 PB - Springer Science and Business Media LLC VL - 28 IS - 1 SP - 31 EP - 53 Y2 - 2025/12/15 ER -