Weak models of distributed computing, with connections to modal logic

Show simple item record

dc.contributor University of Helsinki, Department of Computer Science en
dc.contributor University of Helsinki, Helsinki Institute for Information Technology en
dc.contributor University of Helsinki, Helsinki Institute for Information Technology en
dc.contributor University of Helsinki, Department of Mathematics and Statistics en
dc.contributor University of Helsinki, Helsinki Institute for Information Technology en
dc.contributor.author Hella, Lauri
dc.contributor.author Järvisalo, Matti
dc.contributor.author Kuusisto, Antti
dc.contributor.author Laurinharju, Juhana
dc.contributor.author Lempiäinen, Tuomo
dc.contributor.author Luosto, Kerkko
dc.contributor.author Suomela, Jukka
dc.contributor.author Virtema, Jonni
dc.contributor.editor Kowalski, Darek
dc.contributor.editor Panconesi, Alessandro
dc.date.accessioned 2012-11-06T10:00:00Z
dc.date.available 2012-11-06T10:00:00Z
dc.date.issued 2012
dc.identifier.citation Hella , L , Järvisalo , M , Kuusisto , A , Laurinharju , J , Lempiäinen , T , Luosto , K , Suomela , J & Virtema , J 2012 , Weak models of distributed computing, with connections to modal logic . in D Kowalski & A Panconesi (eds) , PODC’12. Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing. July 16–18, 2012. Madeira, Portugal . ACM , New York , pp. 185–194 , 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) , Funchal, Madeira , Portugal , 16/07/2012 . https://doi.org/10.1145/2332432.2332466 en
dc.identifier.citation conference en
dc.identifier.isbn 978-1-4503-1450-3
dc.identifier.other PURE: 22017144
dc.identifier.other PURE UUID: 3d4a6088-dbc7-47c7-87f1-d547dc269f33
dc.identifier.other Scopus: 84865035691
dc.identifier.other ORCID: /0000-0003-2572-063X/work/29813586
dc.identifier.uri http://hdl.handle.net/10138/37409
dc.format.extent 10
dc.language.iso eng
dc.publisher ACM
dc.relation.ispartof PODC’12. Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing. July 16–18, 2012. Madeira, Portugal
dc.rights en
dc.subject 113 Computer and information sciences en
dc.title Weak models of distributed computing, with connections to modal logic en
dc.type Conference contribution
dc.identifier.doi https://doi.org/10.1145/2332432.2332466
dc.type.uri info:eu-repo/semantics/other
dc.contributor.pbl
dc.contributor.pbl
dc.contributor.pbl

Files in this item

Total number of downloads: Loading...

Files Size Format View
weak_models.pdf 438.9Kb PDF View/Open

This item appears in the following Collection(s)

Show simple item record