Keyphrases
- formal specification
- communication protocols
- model checking
- process algebra
- specification languages
- object oriented design
- protocol specification
- specification language
- software components
- formal methods
- service oriented
- reverse engineering
- web services
- data abstraction
- transaction processing systems
- open systems
- concurrent systems
- message delivery
- service discovery
- service composition
- cooperative
- ad hoc networks