@InProceedings{CL10fsttcs,
  author      = {Wojciech Czerwi{\'n}ski and S{\l}awomir Lasota},
  title       = {Fast equivalence-checking for normed context-free processes},
  booktitle   = {Proc. FSTTCS'10},
  year        = 2010,
  volume      = {8},
  pages       = {260-271},
  series      = {LIPIcs}
}