Sangiorgi.D, Typing and subtyping for mobile processes, MSCS (1996)

by B Pierce