Graph types for monadic mobile processes (1996)

by Nobuko Yoshida
Venue:In Foundations of Software Technology