@InProceedings{FL05concur,
  author      = {Sibylle Froeschle and S{\l}awomir Lasota},
  title       = {Decomposition and Complexity of Hereditary History Preserving Bisimulation on {BPP}},
  booktitle   = {Proc. CONCUR'05},
  year        = 2005,
  volume      = 3653,
  pages       = {263--277},
  series      = {LNCS},
  publisher   = {Springer-Verlag}
}