@misc{indiciae700fd7e3339e,
  title = {Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment},
  author = {Fabian Reiter},
  year = {2017},
  doi = {10.4230/lipics.icalp.2017.100},
  url = {https://arxiv.org/abs/1611.08554},
  note = {Source identifier: 1611.08554}
}