Linearity and Bisimulation.

Nobuko Yoshida, Kohei Honda, Martin Berger

Browse the full FOSSACS paper archive.