@inproceedings{prole15,
  title = "Proving Continuity of Coinductive Global
           Bisimulation Distances: A Never Ending Story",
  author = "Romero-H\'ernandez, D. and
            de Frutos-Escrig, D. and
            Della Monica, D.",
  booktitle = "Proc. of the 15th Jornadas sobre
               PROgramaci{\'{o}}n y LEnguajes (PROLE)",
  series    = "EPTCS",
  year = "2015"
}

{"_id":"rdRZXq5oyShMZPmtC","bibbaseid":"romerohrnandez-defrutosescrig-dellamonica-provingcontinuityofcoinductiveglobalbisimulationdistancesaneverendingstory-2015","author_short":["Romero-Hérnandez, D.","de Frutos-Escrig, D.","Della Monica, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story","author":[{"propositions":[],"lastnames":["Romero-Hérnandez"],"firstnames":["D."],"suffixes":[]},{"propositions":["de"],"lastnames":["Frutos-Escrig"],"firstnames":["D."],"suffixes":[]},{"propositions":[],"lastnames":["Della","Monica"],"firstnames":["D."],"suffixes":[]}],"booktitle":"Proc. of the 15th Jornadas sobre PROgramación y LEnguajes (PROLE)","series":"EPTCS","year":"2015","bibtex":"@inproceedings{prole15,\r\n title = \"Proving Continuity of Coinductive Global\r\n Bisimulation Distances: A Never Ending Story\",\r\n author = \"Romero-H\\'ernandez, D. and\r\n de Frutos-Escrig, D. and\r\n Della Monica, D.\",\r\n booktitle = \"Proc. of the 15th Jornadas sobre\r\n PROgramaci{\\'{o}}n y LEnguajes (PROLE)\",\r\n series = \"EPTCS\",\r\n year = \"2015\"\r\n}\r\n\r\n","author_short":["Romero-Hérnandez, D.","de Frutos-Escrig, D.","Della Monica, D."],"key":"prole15","id":"prole15","bibbaseid":"romerohrnandez-defrutosescrig-dellamonica-provingcontinuityofcoinductiveglobalbisimulationdistancesaneverendingstory-2015","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://users.dimi.uniud.it/~dario.dellamonica/pubs/biblio.bib","dataSources":["XKYzHk9y65Aw5X8qY"],"keywords":[],"search_terms":["proving","continuity","coinductive","global","bisimulation","distances","never","ending","story","romero-hérnandez","de frutos-escrig","della monica"],"title":"Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story","year":2015}