@article{Hella_2014,
    doi = {10.1007/s00446-013-0202-3},
    url = {https://doi.org/10.1007%2Fs00446-013-0202-3},
    year = {2014},
    month = {jan},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {28},
    number = {1},
    pages = {31--53},
    author = {Lauri Hella and Matti Järvisalo and Antti Kuusisto and Juhana Laurinharju and Tuomo Lempiäinen and Kerkko Luosto and Jukka Suomela and Jonni Virtema},
    title = {Weak models of distributed computing, with connections to modal logic},
    journal = {Distributed Computing}
}

@article{Hella_2014, doi = {10.1007/s00446-013-0202-3}, url = {https://doi.org/10.1007%2Fs00446-013-0202-3}, year = {2014}, month = {jan}, publisher = {Springer Science and Business Media {LLC}}, volume = {28}, number = {1}, pages = {31--53}, author = {Lauri Hella and Matti Järvisalo and Antti Kuusisto and Juhana Laurinharju and Tuomo Lempiäinen and Kerkko Luosto and Jukka Suomela and Jonni Virtema}, title = {Weak models of distributed computing, with connections to modal logic}, journal = {Distributed Computing} }