Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment.
Fabian ReiterPublished in: ICALP (2017)
Keyphrases
- distributed constraint satisfaction
- distributed systems
- cooperative
- distributed environment
- cellular automata
- distributed database systems
- modal logic
- fault tolerant
- database
- peer to peer
- multi agent
- clustering method
- wireless sensor networks
- information systems
- finite state machines
- finite state
- communication overhead
- genetic algorithm