Graph Types for Monadic Mobile (1996)

by N Yoshida
Venue:Processes, FST/TCS'16, LNCS 1180