Distributed Timed Automata with Independently Evolving Clocks.
S. AkshayBenedikt BolligPaul GastinMadhavan MukundK. Narayan KumarPublished in: CONCUR (2008)
Keyphrases
- timed automata
- distributed systems
- reachability analysis
- model checking
- distributed environment
- multi agent
- cooperative
- lightweight
- multiple independent
- peer to peer
- mobile agents
- database
- fault tolerant
- distributed data
- relational databases
- theorem prover
- theorem proving
- distributed database systems
- distributed computing
- communication overhead
- genetic algorithm