{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T02:10:42Z","timestamp":1784081442442,"version":"3.55.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2019,7,6]],"date-time":"2019-07-06T00:00:00Z","timestamp":1562371200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,7,6]],"date-time":"2019-07-06T00:00:00Z","timestamp":1562371200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["1421126"],"award-info":[{"award-number":["1421126"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["1618542"],"award-info":[{"award-number":["1618542"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["003991"],"award-info":[{"award-number":["003991"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s00446-019-00357-z","type":"journal-article","created":{"date-parts":[[2019,7,6]],"date-time":"2019-07-06T06:18:41Z","timestamp":1562393921000},"page":"209-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":37,"title":["Adding concurrency to smart contracts"],"prefix":"10.1007","volume":"33","author":[{"given":"Thomas","family":"Dickerson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul","family":"Gazzillo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maurice","family":"Herlihy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Koskinen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,7,6]]},"reference":[{"key":"357_CR1","doi-asserted-by":"crossref","unstructured":"Androulaki, E., Barger, A., Bortnikov, V., Cachin, C., Christidis, K., De\u00a0Caro, A., Enyeart, D., Ferris, C., Laventman, G., Manevich, Y., et\u00a0al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: Proceedings of the Thirteenth EuroSys Conference, ACM, p.\u00a030 (2018)","DOI":"10.1145\/3190508.3190538"},{"key":"357_CR2","doi-asserted-by":"crossref","unstructured":"Blumofe, R.D., Joerg, C.F., Kuszmaul, B.C., Leiserson, C.E., Randall, K.H., Zhou, Y.: Cilk: an efficient multithreaded runtime system. In: Proceedings of the Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP \u201995, ACM, New York, NY, USA, pp. 207\u2013216 (1995). \nhttps:\/\/doi.org\/10.1145\/209936.209958","DOI":"10.1145\/209936.209958"},{"key":"357_CR3","unstructured":"Bocchino Jr., R.L., Adve, V.S., Adve, S.V., Snir, M.: Parallel programming must be deterministic by default. In: Proceedings of the First USENIX Conference on Hot Topics in Parallelism, HotPar\u201909, USENIX Association, Berkeley, CA, USA, pp. 4\u20134 (2009). URL\u00a0\nhttp:\/\/dl.acm.org\/citation.cfm?id=1855591.1855595"},{"key":"357_CR4","doi-asserted-by":"crossref","unstructured":"Bronson, N.G., Casper, J., Chafi, H., Olukotun, K.: Transactional predication: high-performance concurrent sets and maps for stm. In: Proceedings of the 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC \u201910, ACM, New York, NY, USA, pp. 6\u201315 (2010). \nhttps:\/\/doi.org\/10.1145\/1835698.1835703","DOI":"10.1145\/1835698.1835703"},{"key":"357_CR5","unstructured":"Cachin, C., Schubert, S., Vukolic, M.: Non-determinism in byzantine fault-tolerant replication. In: Fatourou, P., Jim\u00e9nez, F., Pedone, F. (eds.) 20th International Conference on Principles of Distributed Systems (OPODIS 2016), Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a070, Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 24:1\u201324:16 (2017). \nhttps:\/\/doi.org\/10.4230\/LIPIcs.OPODIS.2016.24\n\n. \nhttp:\/\/drops.dagstuhl.de\/opus\/volltexte\/2017\/7093"},{"key":"357_CR6","unstructured":"Castro, M., Liskov, B.: Practical byzantine fault tolerance. In: Proceedings of the Third Symposium on Operating Systems Design and Implementation, OSDI \u201999, USENIX Association, Berkeley, CA, USA, pp. 173\u2013186 (1999). URL\u00a0\nhttp:\/\/dl.acm.org\/citation.cfm?id=296806.296824"},{"key":"357_CR7","unstructured":"DAO: Thedao smart contract. Retrieved 8 February (2017)"},{"key":"357_CR8","doi-asserted-by":"crossref","unstructured":"Delmolino, K., Arnett, M., Kosba, A., Miller, A., Shi, E.: Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab, Springer, Berlin, pp. 79\u201394 (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-662-53357-4_6","DOI":"10.1007\/978-3-662-53357-4_6"},{"key":"357_CR9","unstructured":"Ethereum: \nhttps:\/\/github.com\/ethereum\/"},{"key":"357_CR10","unstructured":"Ethereum design Rationale: \nhttp:\/\/github.com\/ethereum\/wiki\/wiki\/Design-Rationale#gas-and-fees"},{"key":"357_CR11","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Koskinen, E.: Transactional boosting: a methodology for highly-concurrent transactional objects. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP \u201908, ACM, New York, NY, USA, pp. 207\u2013216 (2008). \nhttps:\/\/doi.org\/10.1145\/1345206.1345237","DOI":"10.1145\/1345206.1345237"},{"key":"357_CR12","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer III, W.N.: Software transactional memory for dynamic-sized data structures. In: Proceedings of the Twenty-second Annual Symposium on Principles of Distributed Computing, PODC \u201903, ACM, New York, NY, USA, pp. 92\u2013101 (2003). \nhttps:\/\/doi.org\/10.1145\/872035.872048","DOI":"10.1145\/872035.872048"},{"key":"357_CR13","doi-asserted-by":"crossref","unstructured":"Herman, N., Inala, J.P., Huang, Y., Tsai, L., Kohler, E., Liskov, B., Shrira, L.: Type-aware transactions for faster concurrent code. In: Proceedings of the Eleventh European Conference on Computer Systems, EuroSys \u201916, ACM, New York, NY, USA, pp. 31:1\u201331:16 (2016). \nhttps:\/\/doi.org\/10.1145\/2901318.2901348","DOI":"10.1145\/2901318.2901348"},{"key":"357_CR14","unstructured":"Hyperledger white paper. \nhttp:\/\/www.the-blockchain.com\/docs\/Hyperledger"},{"key":"357_CR15","doi-asserted-by":"crossref","unstructured":"Kosba, A.E., Miller, A., Shi, E., Wen, Z., Papamanthou, C.: Hawk: the blockchain model of cryptography and privacy-preserving smart contracts. In: IEEE Symposium on Security and Privacy (2015)","DOI":"10.1109\/SP.2016.55"},{"key":"357_CR16","doi-asserted-by":"crossref","unstructured":"Koskinen, E., Parkinson, M.J.: The push\/pull model of transactions. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201915), Portland, OR, USA. ACM (2015)","DOI":"10.1145\/2737924.2737995"},{"key":"357_CR17","doi-asserted-by":"crossref","unstructured":"Luu, L., Chu, D., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24\u201328, pp. 254\u2013269 (2016)","DOI":"10.1145\/2976749.2978309"},{"key":"357_CR18","doi-asserted-by":"crossref","unstructured":"Luu, L., Teutsch, J., Kulkarni, R., Saxena, P.: Demystifying incentives in the consensus computer. In: Proceedings of the 22Nd ACM SIGSAC Conference on Computer and Communications Security, CCS \u201915, ACM, New York, NY, USA, pp. 706\u2013719 (2015). \nhttps:\/\/doi.org\/10.1145\/2810103.2813659","DOI":"10.1145\/2810103.2813659"},{"key":"357_CR19","unstructured":"Nakamoto, S.: Bitcoin: A peer-to-peer electronic cash system (2009). URL\u00a0\nhttp:\/\/www.bitcoin.org\/bitcoin.pdf"},{"key":"357_CR20","unstructured":"Scala STM Expert Group.: Scalastm. web. Retrieved from \nhttp:\/\/nbronson.github.com\/scala-stm\/\n\n, 20 November (2011)"},{"key":"357_CR21","unstructured":"Solidity documentation: \nhttp:\/\/solidity.readthedocs.io\/en\/latest\/index.html"},{"key":"357_CR22","unstructured":"Solidity documentation: Solidity by example: \nhttp:\/\/solidity.readthedocs.io\/en\/develop\/solidity-by-example.html"},{"key":"357_CR23","unstructured":"Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9) (1997). \nhttp:\/\/firstmonday.org\/ojs\/index.php\/fm\/article\/view\/548"},{"key":"357_CR24","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. \nhttp:\/\/gavwood.com\/Paper.pdf"},{"key":"357_CR25","unstructured":"Why do smart contract languages need to be deterministic? \nhttps:\/\/ethereum.stackexchange.com\/questions\/3557\/why-do-smart-contract-languages-need-to-be-deterministic"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-019-00357-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-019-00357-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-019-00357-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,4]],"date-time":"2020-07-04T23:04:28Z","timestamp":1593903868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-019-00357-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,6]]},"references-count":25,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["357"],"URL":"https:\/\/doi.org\/10.1007\/s00446-019-00357-z","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,6]]},"assertion":[{"value":"1 November 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 June 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 July 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}