Impossibility Results for the Equational Theory of Timed CCS. Aceto, L., Ingólfsdóttir, A., & Mousavi, M. R. In Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pages 80–95, 2007. Paper doi bibtex @inproceedings{DBLP:conf/calco/AcetoIM07,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi},
title = {Impossibility Results for the Equational Theory of Timed {CCS}},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
pages = {80--95},
year = {2007},
crossref = {DBLP:conf/calco/2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_6},
doi = {10.1007/978-3-540-73859-6\_6},
timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
biburl = {https://dblp.org/rec/bib/conf/calco/AcetoIM07},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"SbQrgGD5AcePxaHp3","bibbaseid":"aceto-inglfsdttir-mousavi-impossibilityresultsfortheequationaltheoryoftimedccs-2007","downloads":0,"creationDate":"2019-03-14T12:11:49.392Z","title":"Impossibility Results for the Equational Theory of Timed CCS","author_short":["Aceto, L.","Ingólfsdóttir, A.","Mousavi, M. R."],"year":2007,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]},{"firstnames":["Mohammad","Reza"],"propositions":[],"lastnames":["Mousavi"],"suffixes":[]}],"title":"Impossibility Results for the Equational Theory of Timed CCS","booktitle":"Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings","pages":"80–95","year":"2007","crossref":"DBLP:conf/calco/2007","url":"https://doi.org/10.1007/978-3-540-73859-6_6","doi":"10.1007/978-3-540-73859-6_6","timestamp":"Fri, 02 Jun 2017 13:01:07 +0200","biburl":"https://dblp.org/rec/bib/conf/calco/AcetoIM07","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/calco/AcetoIM07,\n author = {Luca Aceto and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir and\n Mohammad Reza Mousavi},\n title = {Impossibility Results for the Equational Theory of Timed {CCS}},\n booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,\n {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},\n pages = {80--95},\n year = {2007},\n crossref = {DBLP:conf/calco/2007},\n url = {https://doi.org/10.1007/978-3-540-73859-6\\_6},\n doi = {10.1007/978-3-540-73859-6\\_6},\n timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},\n biburl = {https://dblp.org/rec/bib/conf/calco/AcetoIM07},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Ingólfsdóttir, A.","Mousavi, M. R."],"key":"DBLP:conf/calco/AcetoIM07","id":"DBLP:conf/calco/AcetoIM07","bibbaseid":"aceto-inglfsdttir-mousavi-impossibilityresultsfortheequationaltheoryoftimedccs-2007","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-73859-6_6"},"downloads":0},"search_terms":["impossibility","results","equational","theory","timed","ccs","aceto","ingólfsdóttir","mousavi"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}