Tarasyuk I. Logical characterization of probabilistic τ-bisimulation equivalences // Computer Science. — 2004 . — # 20.  — P. 97-111
Gribovskaya N. Virbitskaite I. Transition system semantics for flow event structures // Computer Science. — 2019 . — # 43.  — P. 21–38
Subscribe to interleaving and step semantics