@ARTICLE{L06,
  AUTHOR = {S{\l}awomir Lasota},
  TITLE = {Decidability of Performance Equivalence for {Basic Parallel Processes}},
  JOURNAL = {Theoretical Computer Science},
  YEAR = {2006},
  VOLUME = {360},
  PAGES = {172--192}
}