Skip to content

Latest commit

 

History

History
35 lines (26 loc) · 759 Bytes

File metadata and controls

35 lines (26 loc) · 759 Bytes

This is the result of the following executions:

  1. Carol plays against Alice.
  2. Alice plays against Bob.
  3. Carol plays against Bob
digraph entries {
  node [
      shape ="record"
  ]

  GameResultAliceBob -> GameResultAliceCarol [style="dashed"]
  GameResultBobCarol -> {GameResultAliceBob, GameResultAliceCarol} [style="dashed"]
  Alice -> {GameResultAliceBob, GameResultAliceCarol}
  Bob -> {GameResultBobCarol, GameResultAliceBob}
  Carol -> {GameResultBobCarol, GameResultAliceCarol}
}

Countersignature flow

sequenceDiagram

participant Alice
participant Bob

Alice->>Bob: request_start_countersigning_session
Bob-->>Bob: validate_last_game_result_is_not_outdated
Bob-->>Bob: validate_game
Bob->>Alice: request_


Loading