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 Taneli 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 Taneli Virtema

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Originalspråk	engelska
Tidskrift	Distributed Computing
Volym	28
Nummer	1
Sidor (från-till)	31-53
Antal sidor	23
ISSN	0178-2770
DOI	https://doi.org/10.1007/s00446-013-0202-3
Status	Publicerad - 2015
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Vetenskapsgrenar

113 Data- och informationsvetenskap

Åtkomst av dokument

10.1007/s00446-013-0202-3

Citera det här

@article{49c6c8ff5440431abe71e3fd699ff365,

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

keywords = "113 Computer and information sciences",

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 Virtema, {Jonni Taneli}",

year = "2015",

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

language = "English",

volume = "28",

pages = "31--53",

journal = "Distributed Computing",

issn = "0178-2770",

publisher = "Springer-Verlag",

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 Taneli

PY - 2015

Y1 - 2015

KW - 113 Computer and information sciences

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 -