A True Concurrent Model of Smart Contracts Executions. Bartoletti, M., Galletta, L., & Murgia, M. In Bliudze, S. & Bocchi, L., editors, Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, volume 12134, of Lecture Notes in Computer Science, pages 243–260, 2020. Springer. Paper doi bibtex @inproceedings{DBLP:conf/coordination/BartolettiGM20,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
editor = {Simon Bliudze and
Laura Bocchi},
title = {A True Concurrent Model of Smart Contracts Executions},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {243--260},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_16},
doi = {10.1007/978-3-030-50029-0\_16},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/BartolettiGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"aApcR7Nx7PpFLrFTm","bibbaseid":"bartoletti-galletta-murgia-atrueconcurrentmodelofsmartcontractsexecutions-2020","authorIDs":[],"author_short":["Bartoletti, M.","Galletta, L.","Murgia, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Letterio"],"propositions":[],"lastnames":["Galletta"],"suffixes":[]},{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Murgia"],"suffixes":[]}],"editor":[{"firstnames":["Simon"],"propositions":[],"lastnames":["Bliudze"],"suffixes":[]},{"firstnames":["Laura"],"propositions":[],"lastnames":["Bocchi"],"suffixes":[]}],"title":"A True Concurrent Model of Smart Contracts Executions","booktitle":"Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings","series":"Lecture Notes in Computer Science","volume":"12134","pages":"243–260","publisher":"Springer","year":"2020","url":"https://doi.org/10.1007/978-3-030-50029-0\\_16","doi":"10.1007/978-3-030-50029-0_16","timestamp":"Tue, 08 Feb 2022 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/coordination/BartolettiGM20.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/coordination/BartolettiGM20,\n author = {Massimo Bartoletti and\n Letterio Galletta and\n Maurizio Murgia},\n editor = {Simon Bliudze and\n Laura Bocchi},\n title = {A True Concurrent Model of Smart Contracts Executions},\n booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International\n Conference, {COORDINATION} 2020, Held as Part of the 15th International\n Federated Conference on Distributed Computing Techniques, DisCoTec\n 2020, Valletta, Malta, June 15-19, 2020, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {12134},\n pages = {243--260},\n publisher = {Springer},\n year = {2020},\n url = {https://doi.org/10.1007/978-3-030-50029-0\\_16},\n doi = {10.1007/978-3-030-50029-0\\_16},\n timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/coordination/BartolettiGM20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bartoletti, M.","Galletta, L.","Murgia, M."],"editor_short":["Bliudze, S.","Bocchi, L."],"key":"DBLP:conf/coordination/BartolettiGM20","id":"DBLP:conf/coordination/BartolettiGM20","bibbaseid":"bartoletti-galletta-murgia-atrueconcurrentmodelofsmartcontractsexecutions-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-50029-0\\_16"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","creationDate":"2021-01-14T18:29:36.019Z","downloads":0,"keywords":[],"search_terms":["true","concurrent","model","smart","contracts","executions","bartoletti","galletta","murgia"],"title":"A True Concurrent Model of Smart Contracts Executions","year":2020,"dataSources":["SjN5QvQnwzXZgxsKq","PCdRvyaDZRZMeqKhf"]}