TY  - RPRT
TI  - Sound Bisimulations for Higher-Order Distributed Process Calculus
AU  - Adrien Piérard
AU  - Eijiro Sumii
PY  - 2011
UR  - https://arxiv.org/abs/1006.4943
ID  - 1006.4943
ER  -