@article{DBLP:journals/entcs/AcetoHIK97,
  author    = {Luca Aceto and
               Hans H{\"{u}}ttel and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Josva Kleist},
  title     = {Relating semantic models for the object calculus},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {7},
  pages     = {3--18},
  year      = {1997},
  url       = {https://doi.org/10.1016/S1571-0661(05)80462-1},
  doi       = {10.1016/S1571-0661(05)80462-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AcetoHIK97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"JTQdfq6qec2fJg2fg","bibbaseid":"aceto-httel-inglfsdttir-kleist-relatingsemanticmodelsfortheobjectcalculus-1997","downloads":0,"creationDate":"2016-02-18T15:10:12.509Z","title":"Relating semantic models for the object calculus","author_short":["Aceto, L.","Hüttel, H.","Ingólfsdóttir, A.","Kleist, J."],"year":1997,"bibtype":"article","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Hans"],"propositions":[],"lastnames":["Hüttel"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]},{"firstnames":["Josva"],"propositions":[],"lastnames":["Kleist"],"suffixes":[]}],"title":"Relating semantic models for the object calculus","journal":"Electr. Notes Theor. Comput. Sci.","volume":"7","pages":"3–18","year":"1997","url":"https://doi.org/10.1016/S1571-0661(05)80462-1","doi":"10.1016/S1571-0661(05)80462-1","timestamp":"Sun, 28 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/entcs/AcetoHIK97","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/entcs/AcetoHIK97,\n author = {Luca Aceto and\n Hans H{\\\"{u}}ttel and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir and\n Josva Kleist},\n title = {Relating semantic models for the object calculus},\n journal = {Electr. Notes Theor. Comput. Sci.},\n volume = {7},\n pages = {3--18},\n year = {1997},\n url = {https://doi.org/10.1016/S1571-0661(05)80462-1},\n doi = {10.1016/S1571-0661(05)80462-1},\n timestamp = {Sun, 28 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/entcs/AcetoHIK97},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Hüttel, H.","Ingólfsdóttir, A.","Kleist, J."],"key":"DBLP:journals/entcs/AcetoHIK97","id":"DBLP:journals/entcs/AcetoHIK97","bibbaseid":"aceto-httel-inglfsdttir-kleist-relatingsemanticmodelsfortheobjectcalculus-1997","role":"author","urls":{"Paper":"https://doi.org/10.1016/S1571-0661(05)80462-1"},"downloads":0},"search_terms":["relating","semantic","models","object","calculus","aceto","hüttel","ingólfsdóttir","kleist"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}