Formal Specification of Communication Protocols with Object-Based ECATNets.
Mohamed BettazMourad MaoucheKamel BarkaouiPublished in: EUROMICRO (1996)
Keyphrases
- communication protocols
- formal specification
- process algebra
- protocol specification
- model checking
- specification languages
- object oriented design
- specification language
- communication protocol
- reverse engineering
- concurrent systems
- communication networks
- formal methods
- grid workflow
- data mining
- temporal logic
- response time