@inproceedings{HJKLLLSV:PODC2012, author = {Lauri Hella and Matti J\"arvisalo and Antti Kuusisto and Juhana Laurinharju and Tuomo Lempi\"ainen and Kerkko Luosto and Jukka Suomela and Jonni Virtema}, title = {Weak Models of Distributed Computing, with Connections to Modal Logic}, editor = {Darek Kowalski and Alessandro Panconesi}, booktitle = {Proceedings of the 31st Annual ACM Symposium on Principles of Distributed Computing (PODC 2012)}, publisher = {ACM}, pages = {185--194}, year = {2012}, } Abstract: