Retractable and Speculative Contracts. Barbanera, F., Lanese, I., & de'Liguoro , U. In Jacquet, J. & Massink, M., editors, 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, volume 10319, of Lecture Notes in Computer Science, pages 119–137, 2017. Springer.
Paper
Pdf
Slides doi bibtex 4 downloads @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}
}
Downloads: 4
{"_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}