Blockchain, Dsls, Game Theory, Safety, Correctness.
the request completely. In the example above, the request is completely blocked if the frequency of requests exceeds the one specified in the rate interceptor. Note that interceptors are different from guard conditions because they apply, hierarchically, to all transitions in a state, and they can