A higher-order specification of the π-calculus (0)

by J Despeyroux
Venue:In Proc. of the IFIP International Conference on Theoretical Computer Science, IFIP TCS’2000