A Formal Service Specification for the Internet Open Trading Protocol.
Chun OuyangLars Michael KristensenJonathan BillingtonPublished in: ICATPN (2002)
Keyphrases
- protocol specification
- formal specification
- formal methods
- transmission control protocol
- internet protocol
- tcp ip
- communication protocols
- client server architecture
- model checking
- information services
- distributed computing environment
- formal language
- specification language
- network services
- formal analysis
- session initiation protocol
- end to end
- video on demand
- electronic commerce
- lightweight
- transport protocol
- ip networks
- service quality
- service composition
- computer networks
- message delivery
- trading systems
- formal languages
- value added services
- internet services
- web technologies
- wireless networks
- cloud computing