David Walker Some Results on the pi-Calculus. 21-35 1989 conf/concur/1989 Concurrency: Theory, Language, And Architecture db/conf/concur/concur1989.html#Walker89 http://dx.doi.org/10.1007/3-540-53932-8_42