Executable Behaviour and the π-Calculus (extended abstract)