Typing and Subtyping for Mobile Processes (1996)

by Benjamin Pierce , Davide Sangiorgi
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:241 - 16 self