Graph Types for Mobile Processes (1996)

by N Yoshida
Venue:FST/TCS'16, LNCS