On the existence and decidability of unique decompositions of processes in the applied π-calculus

Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On the existence and decidability of unique decompositions of processes in the applied π-calculus. Theoretical Computer Science, 612:102-125, 2016. [doi]

Abstract

Abstract is missing.