See Table 2 on page .
A conversation contains a list of connections. The content of the conversation are defined over an alphabet using terms and sentences. The well-formed sentences are described by the behavior while the performance is defined in the contract. The conversation has a collection of options.