@InProceedings{YoshidaN:linabis,
  author = 	 {Nobuko Yoshida and Kohei Honda and Martin Berger},
  title = 	 {Linearity and Bisimulation},
  booktitle =	 {Proc.~FOSSACS'02},
  year =	 2002
}