Weak models of distributed computing, with connections to modal logic.

Lauri Hella, Matti Jrvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema

Browse the full PODC paper archive.