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.1145/2332432.2332466

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

14 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 2012 ACM symposium on Principles of distributed computing
Pages	185-194
DOIs	https://doi.org/10.1145/2332432.2332466
Publication status	Published - 2012
Publication type	A4 Article in conference proceedings

Publication series

Name	ACM Symposium on Principles of Distributed Computing

Publication forum classification

Publication forum level 2

Access to Document

10.1145/2332432.2332466

Cite this

Hella, L., Järvisalo, M., Kuusisto, A., Laurinharju, J., Lempiäinen, T., Luosto, K., Suomela, J., & Jonni, V. (2012). Weak models of distributed computing, with connections to modal logic. In Proceedings of the 2012 ACM symposium on Principles of distributed computing (pp. 185-194). (ACM Symposium on Principles of Distributed Computing). https://doi.org/10.1145/2332432.2332466

@inproceedings{5b3d937aa90243ebb5e7c362d14dcd64,

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 = "2012",

doi = "10.1145/2332432.2332466",

language = "English",

isbn = "978-1-4503-1450-3",

series = "ACM Symposium on Principles of Distributed Computing",

pages = "185--194",

booktitle = "Proceedings of the 2012 ACM symposium on Principles of distributed computing",

}

Weak models of distributed computing, with connections to modal logic. / Hella, Lauri; Järvisalo, Matti; Kuusisto, Antti et al.
Proceedings of the 2012 ACM symposium on Principles of distributed computing. 2012. p. 185-194 (ACM Symposium on Principles of Distributed Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

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 - 2012

Y1 - 2012

U2 - 10.1145/2332432.2332466

DO - 10.1145/2332432.2332466

M3 - Conference contribution

SN - 978-1-4503-1450-3

T3 - ACM Symposium on Principles of Distributed Computing

SP - 185

EP - 194

BT - Proceedings of the 2012 ACM symposium on Principles of distributed computing

ER -