Client messages have the following form:
session-request | ::= | <session-request> | ||
<name> name </name> | ||||
<problem> name </problem> | ||||
</session-request> | ||||
round-request | ::= | <round-request/> | ||
action spec | ::= | <act> action </act> | <done/> | ||
action | ::= | <action> <name> name </name> term* </action> | ||
term | ::= | <term> name </term> |