TY - JOUR T1 - Weak models of distributed computing, with connections to modal logic JO - Distributed Computing PY - 2015/02/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 VL - 28 IS - 1 SP - 31 EP - 53 Y2 - 2025/08/05 ER -