@inproceedings{coordination2017,
  author       = {Franco Barbanera and
                  Ivan Lanese and
                  Ugo de'Liguoro},
  editor       = {Jean{-}Marie Jacquet and
                  Mieke Massink},
  title        = {Retractable and Speculative Contracts},
  booktitle    = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2017, Held as Part of the 12th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10319},
  pages        = {119--137},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59746-1\_7},
  doi          = {10.1007/978-3-319-59746-1\_7},
  url_pdf   = {fulltext/coordination2017.pdf},
  url_Slides = {../work/coordination2017.pdf},    
  keywords  = {Reversible computing, Contracts, Process calculi}      
}

{"_id":"4THDPH3e8DXAz3fkc","bibbaseid":"barbanera-lanese-deliguoro-retractableandspeculativecontracts-2017","author_short":["Barbanera, F.","Lanese, I.","de'Liguoro , U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Franco"],"propositions":[],"lastnames":["Barbanera"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Lanese"],"suffixes":[]},{"firstnames":["Ugo"],"propositions":["de'Liguoro"],"lastnames":[],"suffixes":[]}],"editor":[{"firstnames":["Jean-Marie"],"propositions":[],"lastnames":["Jacquet"],"suffixes":[]},{"firstnames":["Mieke"],"propositions":[],"lastnames":["Massink"],"suffixes":[]}],"title":"Retractable and Speculative Contracts","booktitle":"Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10319","pages":"119–137","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-59746-1\\_7","doi":"10.1007/978-3-319-59746-1_7","url_pdf":"fulltext/coordination2017.pdf","url_slides":"../work/coordination2017.pdf","keywords":"Reversible computing, Contracts, Process calculi","bibtex":"@inproceedings{coordination2017,\n author = {Franco Barbanera and\n Ivan Lanese and\n Ugo de'Liguoro},\n editor = {Jean{-}Marie Jacquet and\n Mieke Massink},\n title = {Retractable and Speculative Contracts},\n booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International\n Conference, {COORDINATION} 2017, Held as Part of the 12th International\n Federated Conference on Distributed Computing Techniques, DisCoTec\n 2017, Neuch{\\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10319},\n pages = {119--137},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-59746-1\\_7},\n doi = {10.1007/978-3-319-59746-1\\_7},\n url_pdf = {fulltext/coordination2017.pdf},\n url_Slides = {../work/coordination2017.pdf}, \n keywords = {Reversible computing, Contracts, Process calculi} \n}\n\n","author_short":["Barbanera, F.","Lanese, I.","de'Liguoro , U."],"editor_short":["Jacquet, J.","Massink, M."],"key":"coordination2017","id":"coordination2017","bibbaseid":"barbanera-lanese-deliguoro-retractableandspeculativecontracts-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-59746-1\\_7"," pdf":"https://www.cs.unibo.it/~lanese/newpublications/fulltext/coordination2017.pdf"," slides":"https://www.cs.unibo.it/~lanese/work/coordination2017.pdf"},"keyword":["Reversible computing","Contracts","Process calculi"],"metadata":{"authorlinks":{}},"downloads":4},"bibtype":"inproceedings","biburl":"https://www.cs.unibo.it/~lanese/newpublications/mybib.bib","dataSources":["xnhiQv9oHMigrP4yD"],"keywords":["reversible computing","contracts","process calculi"],"search_terms":["retractable","speculative","contracts","barbanera","lanese","de'liguoro "],"title":"Retractable and Speculative Contracts","year":2017,"downloads":4}