Graph types for monadic mobile processes (1996)

by N Yoshida
Venue:In FSTTCS, volume 1180 of LNCS