TY  - RPRT
TI  - Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment
AU  - Fabian Reiter
PY  - 2017
DO  - 10.4230/lipics.icalp.2017.100
UR  - https://arxiv.org/abs/1611.08554
ID  - 1611.08554
ER  -