Blockchain, Dsls, Game Theory, Safety, Correctness.
implemented several other interceptors that can all be used to help with the game theoretical nature of smart contracts. More examples follow below, after we have introduced context arguments. Context Arguments A command entering an interactor (e.g., a triggering event entering a statemachine) can