https://123dok.org/document/zkw719ve-implementing-stochastics-brane-calculus-generic-stochastic-abstract-machine.html