Keyphrases
- protocol specification
- distributed computing environment
- distributed computing
- communication protocols
- distributed processing
- distributed environment
- formal specification
- computing environments
- resource discovery
- formal methods
- database
- relational databases
- distributed systems
- query optimization
- distributed databases