{"_id":"35yPRcLvynijtxa4H","bibbaseid":"bartoletti-bracciali-lepore-scalas-zunino-aformalmodelofalgorandsmartcontracts-2020","authorIDs":[],"author_short":["Bartoletti, M.","Bracciali, A.","Lepore, C.","Scalas, A.","Zunino, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Bracciali"],"suffixes":[]},{"firstnames":["Cristian"],"propositions":[],"lastnames":["Lepore"],"suffixes":[]},{"firstnames":["Alceste"],"propositions":[],"lastnames":["Scalas"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Zunino"],"suffixes":[]}],"title":"A formal model of Algorand smart contracts","journal":"CoRR","volume":"abs/2009.12140","year":"2020","url":"https://arxiv.org/abs/2009.12140","eprinttype":"arXiv","eprint":"2009.12140","timestamp":"Wed, 30 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-2009-12140.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2009-12140,\n author = {Massimo Bartoletti and\n Andrea Bracciali and\n Cristian Lepore and\n Alceste Scalas and\n Roberto Zunino},\n title = {A formal model of Algorand smart contracts},\n journal = {CoRR},\n volume = {abs/2009.12140},\n year = {2020},\n url = {https://arxiv.org/abs/2009.12140},\n eprinttype = {arXiv},\n eprint = {2009.12140},\n timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2009-12140.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bartoletti, M.","Bracciali, A.","Lepore, C.","Scalas, A.","Zunino, R."],"key":"DBLP:journals/corr/abs-2009-12140","id":"DBLP:journals/corr/abs-2009-12140","bibbaseid":"bartoletti-bracciali-lepore-scalas-zunino-aformalmodelofalgorandsmartcontracts-2020","role":"author","urls":{"Paper":"https://arxiv.org/abs/2009.12140"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","creationDate":"2020-12-04T16:35:07.518Z","downloads":0,"keywords":[],"search_terms":["formal","model","algorand","smart","contracts","bartoletti","bracciali","lepore","scalas","zunino"],"title":"A formal model of Algorand smart contracts","year":2020,"dataSources":["SjN5QvQnwzXZgxsKq","PCdRvyaDZRZMeqKhf"]}