Typing and Subtyping for Mobile Processes (1996)

by Benjamin Pierce , Davide Sangiorgi
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE