Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects.
Chie DouPublished in: EUROMICRO (1996)
Keyphrases
- communication protocols
- formal specification
- process algebra
- protocol specification
- model checking
- specification languages
- specification language
- object oriented design
- communication protocol
- petri net
- formal methods
- concurrent systems
- reverse engineering
- communication networks
- business rules
- database
- protocol stack
- grid workflow
- software components
- asynchronous circuits
- case study
- data mining