@InProceedings{LR06,
  author      = {S{\l}awomir Lasota and Wojciech Rytter},
  title       = {Faster Algorithm for Bisimulation Equivalence of  Normed Context-Free  Processes},
  booktitle   = {Proc.\ MFCS'06},
  year        = 2006,
  volume      = 4162,
  pages       = {646--657},
  series      = {LNCS},
  publisher   = {Springer-Verlag}
}