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  - 2024/12/23

ER  -