Blockchain, Dsls, Game Theory, Safety, Correctness.
parties passed to the interceptor is strictly enforced. A violation leads to a failure of the command. The interceptor also provides access to the list of allowed next movers; this could potentially be used to notify parties that it’s their turn. Now, there is a risk of a denial of service attack: