@Inproceedings{EPTCS189.5, author = {Luttik, Bas and Yang, Fei}, year = {2015}, title = {Executable Behaviour and the $\pi$-Calculus (extended abstract)}, editor = {Knight, Sophia and Lanese, Ivan and Lluch Lafuente, Alberto and Torres Vieira, Hugo }, booktitle = {{\rm Proceedings 8th} Interaction and Concurrency Experience , {\rm Grenoble, France, 4-5th June 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {189}, publisher = {Open Publishing Association}, pages = {37-52}, doi = {10.4204/EPTCS.189.5}, }