@InProceedings{saraph_et_al:OASIcs.Tokenomics.2019.4, author = {Saraph, Vikram and Herlihy, Maurice}, title = {{An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {4:1--4:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019.4}, URN = {urn:nbn:de:0030-drops-119684}, doi = {10.4230/OASIcs.Tokenomics.2019.4}, annote = {Keywords: Blockchains, Smart Contracts} }