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; Virtema Jonni

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, Virtema Jonni

Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

39 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Sivut	31-53
Julkaisu	Distributed Computing
Vuosikerta	28
Numero	1
DOI - pysyväislinkit	https://doi.org/10.1007/s00446-013-0202-3
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisufoorumi-taso

Jufo-taso 2

Pääsy asiakirjaan

10.1007/s00446-013-0202-3

Siteeraa tätä

@article{9cc233ac8fd94d15903006e39a500f9d,

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

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 - Jonni, Virtema

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 -