Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol.
Stanislaw BudkowskiA. B. AlkhechiMohamed-Lyes BenalycherifPiotr DembinskiM. GardieE. LalletJ. P. Mouchel La FosseYounes SouissiPublished in: PSTV (1993)
Keyphrases
- formal specification
- protocol specification
- model checker
- model checking
- specification language
- specification languages
- object oriented design
- formal methods
- process algebra
- reverse engineering
- data abstraction
- knowledge transfer
- software components
- concurrent systems
- database
- communication protocols
- cooperative
- multi agent