Linearity and Bisimulation (2001)

by N Yoshida, K Honda, M Berger