Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services.
Xiang FuTevfik BultanJianwen SuPublished in: CIAA (2003)
Keyphrases
- protocol specification
- model checking
- formal verification
- reactive systems
- transition systems
- agent communication language
- process algebra
- operational semantics
- concurrent systems
- asynchronous circuits
- communication protocols
- formal methods
- cryptographic protocols
- formal specification
- multi party
- formal language
- temporal logic
- specification language
- colored petri nets
- high level
- formal model
- state machines
- knowledge representation
- petri net
- natural language
- action language
- distributed systems
- reactive planning
- agent communication
- communication protocol
- authentication protocol
- speech acts
- security protocols
- agent architecture
- intelligent agents