Keyphrases
- distributed systems
- distributed environment
- cooperative
- multi agent
- peer to peer
- computer networks
- functional verification
- real time
- scalable distributed
- asynchronous circuits
- formal verification
- formal analysis
- distributed computing
- agent technology
- fault tolerant
- model checking
- lightweight
- response time
- face recognition
- learning algorithm