TY  - RPRT
TI  - Matching in the Pi-Calculus (Technical Report)
AU  - Kirstin Peters
AU  - Tsvetelina Yonova-Karbe
AU  - Uwe Nestmann
PY  - 2014
UR  - https://arxiv.org/abs/1407.6406
ID  - 1407.6406
ER  -