@inproceedings{DBLP:conf/birthday/FantechiNS19,
    author = "Fantechi, Alessandro and Najm, Elie and Stefani, Jean{-}Bernard",
    editor = "Boreale, Michele and Corradini, Flavio and Loreti, Michele and Pugliese, Rosario",
    title = "From Behavioural Contracts to Session Types",
    booktitle = "Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday",
    series = "Lecture Notes in Computer Science",
    volume = "11665",
    pages = "278--297",
    publisher = "Springer",
    year = "2019",
    url = "https://doi.org/10.1007/978-3-030-21485-2\\_16",
    doi = "10.1007/978-3-030-21485-2\\_16",
    timestamp = "Thu, 04 Jul 2019 14:12:17 +0200",
    biburl = "https://dblp.org/rec/conf/birthday/FantechiNS19.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"jbiHMTey7hZfznbSZ","bibbaseid":"fantechi-najm-stefani-frombehaviouralcontractstosessiontypes-2019","author_short":["Fantechi, A.","Najm, E.","Stefani, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Najm"],"firstnames":["Elie"],"suffixes":[]},{"propositions":[],"lastnames":["Stefani"],"firstnames":["Jean-Bernard"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Boreale"],"firstnames":["Michele"],"suffixes":[]},{"propositions":[],"lastnames":["Corradini"],"firstnames":["Flavio"],"suffixes":[]},{"propositions":[],"lastnames":["Loreti"],"firstnames":["Michele"],"suffixes":[]},{"propositions":[],"lastnames":["Pugliese"],"firstnames":["Rosario"],"suffixes":[]}],"title":"From Behavioural Contracts to Session Types","booktitle":"Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday","series":"Lecture Notes in Computer Science","volume":"11665","pages":"278–297","publisher":"Springer","year":"2019","url":"https://doi.org/10.1007/978-3-030-21485-2\\\\_16","doi":"10.1007/978-3-030-21485-2\\_16","timestamp":"Thu, 04 Jul 2019 14:12:17 +0200","biburl":"https://dblp.org/rec/conf/birthday/FantechiNS19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/birthday/FantechiNS19,\n author = \"Fantechi, Alessandro and Najm, Elie and Stefani, Jean{-}Bernard\",\n editor = \"Boreale, Michele and Corradini, Flavio and Loreti, Michele and Pugliese, Rosario\",\n title = \"From Behavioural Contracts to Session Types\",\n booktitle = \"Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"11665\",\n pages = \"278--297\",\n publisher = \"Springer\",\n year = \"2019\",\n url = \"https://doi.org/10.1007/978-3-030-21485-2\\\\_16\",\n doi = \"10.1007/978-3-030-21485-2\\\\_16\",\n timestamp = \"Thu, 04 Jul 2019 14:12:17 +0200\",\n biburl = \"https://dblp.org/rec/conf/birthday/FantechiNS19.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Fantechi, A.","Najm, E.","Stefani, J."],"editor_short":["Boreale, M.","Corradini, F.","Loreti, M.","Pugliese, R."],"key":"DBLP:conf/birthday/FantechiNS19","id":"DBLP:conf/birthday/FantechiNS19","bibbaseid":"fantechi-najm-stefani-frombehaviouralcontractstosessiontypes-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-21485-2\\\\_16"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["behavioural","contracts","session","types","fantechi","najm","stefani"],"title":"From Behavioural Contracts to Session Types","year":2019}