Blockchain, Dsls, Game Theory, Safety, Correctness.
assume ordered mode, and the next party P just doesn’t make its move: the whole process is stuck. Nobody else can make a move because it’s P’s turn. But P just doesn’t do anything. This is why a turn-by-turn game should always include a timeout: In the refined example above, we specify a timeout of