A Formal and Executable Specification of the Internet Open Trading Protocol.
Chun OuyangLars Michael KristensenJonathan BillingtonPublished in: EC-Web (2002)
Keyphrases
- formal specification
- protocol specification
- formal methods
- specification language
- process algebra
- tcp ip
- specification languages
- formal language
- model checking
- formal analysis
- wide area network
- internet users
- computer networks
- state machines
- formal model
- control flow
- lightweight
- agent communication language
- ip address
- reactive systems
- internet protocol
- transmission control protocol
- attribute grammars
- multi agent systems
- network infrastructure
- communication protocol
- end to end
- wireless networks
- electronic commerce