Internal mobility and agent passing calculi (1995)

by D Sangiorgi
Venue:In Proc. ICALP‘95