Typing and subtyping for mobile processes (1993)

by Benjamin C Pierce, Davide Sangiorgi
Venue:In Proceedings of LICS’93