Approximating Weak Bisimilarity of Basic Parallel Processes. Hofman, P. & Totzke, P. In Proceedings of EXPRESS/SOS, pages 99-113, 2012.
Approximating Weak Bisimilarity of Basic Parallel Processes [link]Paper  bibtex   
@inproceedings{ dblp2497386,
  title = {Approximating Weak Bisimilarity of Basic Parallel Processes},
  author = {Piotr Hofman and Patrick Totzke},
  author_short = {Hofman, P. and Totzke, P.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2497386},
  id = {dblp2497386},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1208-2751},
  url = {http://dx.doi.org/10.4204/EPTCS.89.8},
  conference = {EXPRESS/SOS},
  pages = {99-113},
  text = {EXPRESS/SOS 2012:99-113},
  booktitle = {Proceedings of EXPRESS/SOS}
}

Downloads: 0