Conversation protocols: a formalism for specification and verification of reactive electronic services.
Xiang FuTevfik BultanJianwen SuPublished in: Theor. Comput. Sci. (2004)
Keyphrases
- protocol specification
- reactive systems
- model checking
- formal verification
- transition systems
- agent communication language
- formal methods
- asynchronous circuits
- process algebra
- communication protocols
- concurrent systems
- operational semantics
- formal specification
- cryptographic protocols
- temporal logic
- multi party
- conceptual model
- action language
- formal language
- state machines
- high level
- knowledge representation
- conversational agents
- conversational agent
- communication protocol
- logical framework
- specification language
- formal model
- knowledge base
- formal theory
- authentication protocol
- natural language
- agent systems
- representation language
- colored petri nets
- formal analysis
- turn taking
- face verification
- agent architecture
- reactive planning
- data model