Travelled to:
1 × Italy
Collaborated with:
C.Ene P.Lafourcade Y.Lakhnech
Talks about:
decomposit (1) calculus (1) process (1) uniqu (1) appli (1)
Person: Jannik Dreier
DBLP: Dreier:Jannik
Contributed to:
Wrote 1 papers:
- FoSSaCS-2013-DreierELL #composition #on the #process #π-calculus
- On Unique Decomposition of Processes in the Applied π-Calculus (JD, CE, PL, YL), pp. 50–64.