ss-calculus, internal mobility and agent-passing calculi (1996)

by D Sangiorgi
Venue:Theoretical Computer Science