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