Typing and Subtyping for Mobile Processes. (1996)

by Benjamin Pierce, Davide Sangiorgi
Venue:Journal of Mathematical Structures in Computer Science,