Impossibility Results for the Equational Theory of Timed CCS. Aceto, L., Ingólfsdóttir, A., & Reza Mousavi, M. In Proceedings of Conference on Algebra and Coalgebra in Computer Science (CALCO), pages 80-95, 2007.
Impossibility Results for the Equational Theory of Timed CCS [link]Paper  bibtex   
@inproceedings{ dblp3499317,
  title = {Impossibility Results for the Equational Theory of Timed CCS},
  author = {Luca Aceto and Anna Ingólfsdóttir and Mohammad Reza Mousavi},
  author_short = {Aceto, L. and Ingólfsdóttir, A. and Reza Mousavi, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2007},
  key = {dblp3499317},
  id = {dblp3499317},
  biburl = {http://www.dblp.org/rec/bibtex/conf/calco/AcetoIM07},
  url = {http://dx.doi.org/10.1007/978-3-540-73859-6_6},
  conference = {CALCO},
  pages = {80-95},
  text = {CALCO 2007:80-95},
  booktitle = {Proceedings of Conference on Algebra and Coalgebra in Computer Science (CALCO)}
}

Downloads: 0