@article{DBLP:journals/ipl/AcetoCIL08,
  author    = {Luca Aceto and
               Silvio Capobianco and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Bas Luttik},
  title     = {The equational theory of prebisimilarity over basic {CCS} with divergence},
  journal   = {Inf. Process. Lett.},
  volume    = {108},
  number    = {5},
  pages     = {284--289},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.ipl.2008.05.019},
  doi       = {10.1016/j.ipl.2008.05.019},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/AcetoCIL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"4z6khfeXAXYcqecsB","bibbaseid":"aceto-capobianco-inglfsdttir-luttik-theequationaltheoryofprebisimilarityoverbasicccswithdivergence-2008","downloads":0,"creationDate":"2016-02-18T15:10:12.351Z","title":"The equational theory of prebisimilarity over basic CCS with divergence","author_short":["Aceto, L.","Capobianco, S.","Ingólfsdóttir, A.","Luttik, B."],"year":2008,"bibtype":"article","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Silvio"],"propositions":[],"lastnames":["Capobianco"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]},{"firstnames":["Bas"],"propositions":[],"lastnames":["Luttik"],"suffixes":[]}],"title":"The equational theory of prebisimilarity over basic CCS with divergence","journal":"Inf. Process. Lett.","volume":"108","number":"5","pages":"284–289","year":"2008","url":"https://doi.org/10.1016/j.ipl.2008.05.019","doi":"10.1016/j.ipl.2008.05.019","timestamp":"Tue, 06 Jun 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/ipl/AcetoCIL08","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ipl/AcetoCIL08,\n author = {Luca Aceto and\n Silvio Capobianco and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir and\n Bas Luttik},\n title = {The equational theory of prebisimilarity over basic {CCS} with divergence},\n journal = {Inf. Process. Lett.},\n volume = {108},\n number = {5},\n pages = {284--289},\n year = {2008},\n url = {https://doi.org/10.1016/j.ipl.2008.05.019},\n doi = {10.1016/j.ipl.2008.05.019},\n timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/ipl/AcetoCIL08},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Capobianco, S.","Ingólfsdóttir, A.","Luttik, B."],"key":"DBLP:journals/ipl/AcetoCIL08","id":"DBLP:journals/ipl/AcetoCIL08","bibbaseid":"aceto-capobianco-inglfsdttir-luttik-theequationaltheoryofprebisimilarityoverbasicccswithdivergence-2008","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.ipl.2008.05.019"},"downloads":0},"search_terms":["equational","theory","prebisimilarity","over","basic","ccs","divergence","aceto","capobianco","ingólfsdóttir","luttik"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}