Client Messages

Client messages have the following form:

$\langle$ session-request $\rangle$ ::= <session-request>

<name> $\langle$ name $\rangle$ </name>

<problem> $\langle$ name $\rangle$ </problem>

</session-request>

$\langle$ round-request $\rangle$ ::= <round-request/>

$\langle$ action spec $\rangle$ ::= <act> $\langle$ action $\rangle$ </act> | <done/>

$\langle$ action $\rangle$ ::= <action> <name> $\langle$ name $\rangle$ </name> $\langle$ term $\rangle$ * </action>

$\langle$ term $\rangle$ ::= <term> $\langle$ name $\rangle$ </term>

Håkan L. S. Younes
2005-12-06

$\langle$ session-request $\rangle$	::=	`<session-request>`
		`<name>` $\langle$ name $\rangle$ `</name>`
		`<problem>` $\langle$ name $\rangle$ `</problem>`
		`</session-request>`

$\langle$ round-request $\rangle$	::=	`<round-request/>`

$\langle$ action spec $\rangle$	::=	`<act>` $\langle$ action $\rangle$ `</act>` \| `<done/>`
$\langle$ action $\rangle$	::=	`<action>` `<name>` $\langle$ name $\rangle$ `</name>` $\langle$ term $\rangle$ * `</action>`
$\langle$ term $\rangle$	::=	`<term>` $\langle$ name $\rangle$ `</term>`