17 citations · 22 across the 5 of their papers we have counts for
1 paper · 1 filter
Matias David Lee, Bas Luttik
A (fragment of a) process algebra satisfies unique parallel decomposition if the definable behaviours admit a unique decomposition into indecomposable parallel components. In this…