internal mobility and agent-passing calculi. Theoretical Computer Science, 167(1,2):235{274 (1996)

by -calculus
Venue:in Proceedings of TAPSOFT '95 and ICALP '95