@inproceedings{places2015,
  author       = {Franco Barbanera and
                  Mariangiola Dezani{-}Ciancaglini and
                  Ivan Lanese and
                  Ugo de'Liguoro},
  editor       = {Simon Gay and
                  Jade Alglave},
  title        = {Retractable Contracts},
  booktitle    = {Proceedings Eighth International Workshop on Programming Language
                  Approaches to Concurrency- and Communication-cEntric Software, {PLACES}
                  2015, London, UK, 18th April 2015},
  series       = {{EPTCS}},
  volume       = {203},
  pages        = {61--72},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.203.5},
  doi          = {10.4204/EPTCS.203.5},
  url_pdf   = {fulltext/places2015.pdf},
  url_Slides = {../work/places2015.pdf},    
  keywords  = {Reversible computing, Contracts, Process calculi}        
}

%-------------2014-------------------------------------------

{"_id":"MHt4oc2vyfieZhFgz","bibbaseid":"barbanera-dezaniciancaglini-lanese-deliguoro-retractablecontracts-2015","author_short":["Barbanera, F.","Dezani-Ciancaglini, M.","Lanese, I.","de'Liguoro , U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Franco"],"propositions":[],"lastnames":["Barbanera"],"suffixes":[]},{"firstnames":["Mariangiola"],"propositions":[],"lastnames":["Dezani-Ciancaglini"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Lanese"],"suffixes":[]},{"firstnames":["Ugo"],"propositions":["de'Liguoro"],"lastnames":[],"suffixes":[]}],"editor":[{"firstnames":["Simon"],"propositions":[],"lastnames":["Gay"],"suffixes":[]},{"firstnames":["Jade"],"propositions":[],"lastnames":["Alglave"],"suffixes":[]}],"title":"Retractable Contracts","booktitle":"Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015","series":"EPTCS","volume":"203","pages":"61–72","year":"2015","url":"https://doi.org/10.4204/EPTCS.203.5","doi":"10.4204/EPTCS.203.5","url_pdf":"fulltext/places2015.pdf","url_slides":"../work/places2015.pdf","keywords":"Reversible computing, Contracts, Process calculi","bibtex":"@inproceedings{places2015,\n author = {Franco Barbanera and\n Mariangiola Dezani{-}Ciancaglini and\n Ivan Lanese and\n Ugo de'Liguoro},\n editor = {Simon Gay and\n Jade Alglave},\n title = {Retractable Contracts},\n booktitle = {Proceedings Eighth International Workshop on Programming Language\n Approaches to Concurrency- and Communication-cEntric Software, {PLACES}\n 2015, London, UK, 18th April 2015},\n series = {{EPTCS}},\n volume = {203},\n pages = {61--72},\n year = {2015},\n url = {https://doi.org/10.4204/EPTCS.203.5},\n doi = {10.4204/EPTCS.203.5},\n url_pdf = {fulltext/places2015.pdf},\n url_Slides = {../work/places2015.pdf}, \n keywords = {Reversible computing, Contracts, Process calculi} \n}\n\n%-------------2014-------------------------------------------\n\n","author_short":["Barbanera, F.","Dezani-Ciancaglini, M.","Lanese, I.","de'Liguoro , U."],"editor_short":["Gay, S.","Alglave, J."],"key":"places2015","id":"places2015","bibbaseid":"barbanera-dezaniciancaglini-lanese-deliguoro-retractablecontracts-2015","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.203.5"," pdf":"https://www.cs.unibo.it/~lanese/newpublications/fulltext/places2015.pdf"," slides":"https://www.cs.unibo.it/~lanese/work/places2015.pdf"},"keyword":["Reversible computing","Contracts","Process calculi"],"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"https://www.cs.unibo.it/~lanese/newpublications/mybib.bib","dataSources":["xnhiQv9oHMigrP4yD"],"keywords":["reversible computing","contracts","process calculi"],"search_terms":["retractable","contracts","barbanera","dezani-ciancaglini","lanese","de'liguoro "],"title":"Retractable Contracts","year":2015,"downloads":3}