TY  - RPRT
TI  - Matching in the Pi-Calculus
AU  - Kirstin Peters
AU  - Tsvetelina Yonova-Karbe
AU  - Uwe Nestmann
PY  - 2014
DO  - 10.4204/eptcs.160.3
UR  - https://arxiv.org/abs/1408.1454
ID  - 1408.1454
ER  -