@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)}
}

{"_id":"s4HxzZhshxASkt4pW","bibbaseid":"aceto-inglfsdttir-rezamousavi-impossibilityresultsfortheequationaltheoryoftimedccs-2007","downloads":0,"creationDate":"2016-02-18T15:10:12.358Z","title":"Impossibility Results for the Equational Theory of Timed CCS","author_short":["Aceto, L.","Ingólfsdóttir, A.","Reza Mousavi, M."],"year":2007,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/calco/AcetoIM07","bibdata":{"title":"Impossibility Results for the Equational Theory of Timed CCS","author":["Luca Aceto","Anna Ingólfsdóttir","Mohammad Reza Mousavi"],"author_short":["Aceto, L.","Ingólfsdóttir, A.","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)","bibtex":"@inproceedings{ dblp3499317,\n title = {Impossibility Results for the Equational Theory of Timed CCS},\n author = {Luca Aceto and Anna Ingólfsdóttir and Mohammad Reza Mousavi},\n author_short = {Aceto, L. and Ingólfsdóttir, A. and Reza Mousavi, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2007},\n key = {dblp3499317},\n id = {dblp3499317},\n biburl = {http://www.dblp.org/rec/bibtex/conf/calco/AcetoIM07},\n url = {http://dx.doi.org/10.1007/978-3-540-73859-6_6},\n conference = {CALCO},\n pages = {80-95},\n text = {CALCO 2007:80-95},\n booktitle = {Proceedings of Conference on Algebra and Coalgebra in Computer Science (CALCO)}\n}","bibbaseid":"aceto-inglfsdttir-rezamousavi-impossibilityresultsfortheequationaltheoryoftimedccs-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-73859-6_6"},"downloads":0},"search_terms":["impossibility","results","equational","theory","timed","ccs","aceto","ingólfsdóttir","reza mousavi"],"keywords":[],"authorIDs":["56c5ded4dd338cfd2c0001e2"],"dataSources":["mwTn4LcZ4DfHxQrcB"]}