"Unique parallel decomposition in branching and weak bisimulation semantics."

Bas Luttik (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics