https://9dok.net/document/y4w4l6nk-stochastic-semantics-signaling-composition-agent-view-automata.html