Blockchain, Dsls, Game Theory, Safety, Correctness.
enforces this by using the senderIs interceptor: This interceptor takes as an argument a collection of parties, and for every command or variable read that comes in, it checks that the sender is in the list of parties (players in the example above). If it isn’t, the request fails. It also fails if