Graph types for monadic mobile processes (1996)

by N Yoshida
Venue:In FST/TCS’16, volume 1180 of LNCS