Graph types for monadic mobile processes (1996)

by N Yoshida
Venue:In Proc. of FST–TCS’96, volume 1180 of LNCS