Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment.
Fabian ReiterPublished in: CoRR (2016)
Keyphrases
- distributed systems
- peer to peer
- distributed environment
- distributed constraint satisfaction
- cooperative
- multi agent
- finite automata
- data sets
- cellular automata
- communication overhead
- distributed data
- communication cost
- real time
- case study
- distributed architecture
- database
- e learning
- fault tolerant
- finite state
- computer networks
- discussion forums
- databases
- data sources
- distributed network
- probabilistic automata