Intl. Colloquium on Automata, Languages, and Programming, ICALP 2017


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
  • Université Paris Diderot, IRIF
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:

Discuss this paper and its artifacts below