Distributed timed automata.
Padmanabhan KrishnanPublished in: Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
- timed automata
- distributed systems
- model checking
- distributed environment
- reachability analysis
- distributed database systems
- theorem prover
- distributed architecture
- peer to peer
- lightweight
- information systems
- distributed learning
- distributed data
- mobile agents
- cooperative
- real world
- first order logic
- sensor networks
- case study