Linearity and Bisimulation

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_29 ◽

2002 ◽

pp. 417-433 ◽

Author(s):

Nobuko Yoshida ◽

Kohei Honda ◽

Martin Berger

Download Full-text