Unique parallel decomposition in branching and weak bisimulation semantics

Bas Luttik. Unique parallel decomposition in branching and weak bisimulation semantics. Theoretical Computer Science, 612:29-44, 2016. [doi]

Abstract

Abstract is missing.