@article{DEL+16,
title = { On the existence and decidability of unique decompositions of processes in the applied {(pi)}-calculus },
author = {Dreier, Jannik and Ene, Cristian and Lafourcade, Pascal and Lakhnech, Yassine},
year = {2016},
journal = {Theor. Comput. Sci.},
pages = {102--125},
volume = {612},
team = {PACSS, DCS},
timestamp = {Thu, 04 Aug 2016 15:57:02 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/DreierELL16},
bibsource = {dblp computer science bibliography, http://dblp.org},
}