next up previous
Next: moves using the input Up: Conversation Protocols Previous: Conceptual Model

Formal Definition

Now it appears convenient to formally capture the conceptual model introduced above to be able to reason, later on, about the properties that we must demand from CPs. Therefore, formally we define a conversation protocol as an 8-tuple :

displaymath2435

such that:

CPs only contemplate a finite number of moves from each state that must belong to one of the following types:





World Wide Web
Wed Mar 10 11:44:57 MET 1999