Typing and subtyping for mobile processes (1993)

by B Pierce, D Sangiorgi
Venue:In IEEE Symposium on Logic in Computer Science