@Inproceedings{EPTCS160.3, author = {Peters, Kirstin and Yonova-Karbe, Tsvetelina and Nestmann, Uwe}, year = {2014}, title = {Matching in the Pi-Calculus}, editor = {Borgstr\"om, Johannes and Crafa, Silvia}, booktitle = {{\rm Proceedings Combined 21st International Workshop on} Expressiveness in Concurrency {\rm and 11th Workshop on} Structural Operational Semantics, {\rm Rome, Italy, 1st September 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {160}, publisher = {Open Publishing Association}, pages = {16-29}, doi = {10.4204/EPTCS.160.3}, }