Grid Protocol Specifications.
Jan A. BergstraAlban PonsePublished in: Prospects for Hardware Foundations (1998)
Keyphrases
- protocol specification
- lightweight
- state machines
- model checker
- formal specification
- high level
- cryptographic protocols
- coloured petri nets
- grid computing
- grid environment
- network simulator
- grid enabled
- tcp ip
- agent communication language
- grid points
- communication protocols
- grid services
- communication protocol
- security analysis
- model checking
- electronic commerce
- digital libraries