Weak models of distributed computing, with connections to modal logic

Lauri Hella; Matti Järvisalo; Antti Kuusisto; Juhana Laurinharju; Tuomo Lempiäinen; Kerkko Luosto; Jukka Suomela; Jonni Virtema

doi:10.1007/s00446-013-0202-3

Weak models of distributed computing, with connections to modal logic

Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema

Department of Computer Science

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	31-53
Journal	Distributed Computing
Volume	28
Issue number	1
DOIs	https://doi.org/10.1007/s00446-013-0202-3
Publication status	Published - 2015
MoE publication type	A1 Journal article-refereed

Access to Document

10.1007/s00446-013-0202-3

Cite this

@article{b9121a5758a14f259782d16653cf9dc0,

title = "Weak models of distributed computing, with connections to modal logic",

author = "Lauri Hella and Matti J{\"a}rvisalo and Antti Kuusisto and Juhana Laurinharju and Tuomo Lempi{\"a}inen and Kerkko Luosto and Jukka Suomela and Jonni Virtema",

note = "VK: Suomela, J.",

year = "2015",

doi = "10.1007/s00446-013-0202-3",

language = "English",

volume = "28",

pages = "31--53",

journal = "Distributed Computing",

issn = "0178-2770",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Weak models of distributed computing, with connections to modal logic

AU - Hella, Lauri

AU - Järvisalo, Matti

AU - Kuusisto, Antti

AU - Laurinharju, Juhana

AU - Lempiäinen, Tuomo

AU - Luosto, Kerkko

AU - Suomela, Jukka

AU - Virtema, Jonni

N1 - VK: Suomela, J.

PY - 2015

Y1 - 2015

U2 - 10.1007/s00446-013-0202-3

DO - 10.1007/s00446-013-0202-3

M3 - Article

SN - 0178-2770

VL - 28

SP - 31

EP - 53

JO - Distributed Computing

JF - Distributed Computing

IS - 1

ER -