TY  - RPRT
TI  - A decompilation of the pi-calculus and its application to termination
AU  - Roberto Amadio
PY  - 2011
UR  - https://arxiv.org/abs/1102.2339
ID  - 1102.2339
ER  -