Blockchain, Dsls, Game Theory, Safety, Correctness.
have arguments. For example, when triggering a buy event, that event may carry the price the client may want to pay for whatever they buy. Guard conditions can take the arguments into account. In addition, I have extended interactors to support context arguments. They are essentially a second list