Typing and Subtyping for Mobile Processes

Benjamin C. Pierce, Davide Sangiorgi

Browse the full LICS paper archive.