Graph types for monadic mobile processes (1996)

by Nobuko Yoshida
Venue:In Proc. ['ST $_4 TCS, LNCS 1180