A higher-order specication of the pi-calculus. Presented at the Modelisation and Verication seminar (0)

by Jolle Despeyroux