Typing and subtyping for mobile processes (1996)

by Benjamin Pierce, Davide Sangiorgi
Venue:Math. Struct. in Comp. Science