Linearity and bisimulation (2002)

by Nobuko Yoshida , Kohei Honda , Martin Berger
Venue:In FoSSaCs'02 (2002
Citations:17 - 5 self