TY  - RPRT
TI  - Termination in a Pi-calculus with Subtyping
AU  - Ioana Cristescu
AU  - Daniel Hirschkoff
PY  - 2011
DO  - 10.4204/eptcs.64.4
UR  - https://arxiv.org/abs/1107.5722
ID  - 1107.5722
ER  -