Matching in the Pi-Calculus (Technical Report). - Kirstin Peters; Tsvetelina Yonova-Karbe; Uwe Nestmann (CoRR, 2014)

Matching in the Pi-Calculus. - Kirstin Peters; Tsvetelina Yonova-Karbe; Uwe Nestmann (EXPRESS/SOS, 2014)