TY - GEN T1 - Weak Models of Distributed Computing, with Connections to Modal Logic UR - http://dx.doi.org/10.1007/s00446-013-0202-3 PY - 2012/05/09 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 - Y2 - 2024/09/19 ER -