Typing and subtyping for mobile processes (1996)

by B C Pierce, D Sangiorgi
Venue:Mathematical Structures in Computer Science