@InProceedings{FL06,
  author      = {Sibylle Froeschle and S{\l}awomir Lasota},
  title       = {Normed Processes, Unique Decomposition, and Complexity of  
                 Bisimulation Equivalences},
  booktitle   = {Proc. INFINITY'06},
  year        = 2009,
  volume      = {239},
  pages       = {17-42},
  series      = {ENTCS},
  publisher   = {Elsevier}
}