On Unique Decomposition of Processes in the Applied π-Calculus.

Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech

Browse the full FOSSACS paper archive.