Blockchain, graphical DSL, Partial Model Checking, quantitative reasoning, semiring, smart contract, Supply Chain Management.
