%0 Conference Paper %1 conf/coordination/BarbaneraLd17 %A Barbanera, Franco %A Lanese, Ivan %A de'Liguoro, Ugo %B COORDINATION %D 2017 %E Jacquet, Jean-Marie %E Massink, Mieke %I Springer %K dblp %P 119-137 %T Retractable and Speculative Contracts. %U http://dblp.uni-trier.de/db/conf/coordination/coordination2017.html#BarbaneraLd17 %V 10319 %@ 978-3-319-59746-1

@inproceedings{conf/coordination/BarbaneraLd17, added-at = {2017-06-06T00:00:00.000+0200}, author = {Barbanera, Franco and Lanese, Ivan and de'Liguoro, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/2d960729b4a6432b1f8f2fd8b63113420/dblp}, booktitle = {COORDINATION}, crossref = {conf/coordination/2017}, editor = {Jacquet, Jean-Marie and Massink, Mieke}, ee = {https://doi.org/10.1007/978-3-319-59746-1_7}, interhash = {bfbbc797f2065b562d95b234ccd8f01a}, intrahash = {d960729b4a6432b1f8f2fd8b63113420}, isbn = {978-3-319-59746-1}, keywords = {dblp}, pages = {119-137}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:07:24.000+0200}, title = {Retractable and Speculative Contracts.}, url = {http://dblp.uni-trier.de/db/conf/coordination/coordination2017.html#BarbaneraLd17}, volume = 10319, year = 2017 }