Article Details | ||
---|---|---|
Title: | Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment | |
Article URLs: | ||
Alternative Article URLs: | https://arxiv.org/abs/1611.08554 | |
Authors: | Fabian Reiter |
|
Sharing: | Research produced no artifacts | |
Verification: | Author has verified information | |
Artifact Evaluation Badge: | none | |
Artifact URLs: |
|
|
Artifact Correspondence Email Addresses: |
|
|
NSF Award Numbers: | ||
DBLP Key: | conf/icalp/Reiter17 | |
Author Comments: |