Blockchain, Dsls, Game Theory, Safety, Correctness.
Games Many “games” require a fair allocation of opportunities to participating parties. One way of achieving this is to run a game turn-by-turn, where each party can make one “move” in every “round”. In my example, I have a bidding process: Note how the bidding state uses a takeTurns interceptor.