404 | | This is similar to SAOP, but instead of just parties we have party tuples "cob","shaop" (see the party behaviours). The party in the "cob" field must follow the cob behaviour, the one with "shaop" the shaop behaviour. The SHAOP party gets the turn first, then the cob, then the next shaop, then the associated cob, etc. |
| 404 | This is similar to SAOP, but instead of just parties we have party tuples "cob","shaop" (see the party behaviours). The party in the "cob" field must follow the cob behaviour, the one with "shaop" the shaop behaviour. The SHAOP party gets the turn first. If it does a normal SAOP action, the turn goes to the next SHAOP party. But if it does a ElicitComparison action, then the turn goes to the cob, and then back the the SHAOP party that did the ElicitComparison. |