{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T04:52:53Z","timestamp":1767156773088,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030500283"},{"type":"electronic","value":"9783030500290"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-50029-0_16","type":"book-chapter","created":{"date-parts":[[2020,6,9]],"date-time":"2020-06-09T23:03:55Z","timestamp":1591743835000},"page":"243-260","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["A True Concurrent Model of Smart Contracts Executions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3796-9774","authenticated-orcid":false,"given":"Massimo","family":"Bartoletti","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0351-9169","authenticated-orcid":false,"given":"Letterio","family":"Galletta","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7613-621X","authenticated-orcid":false,"given":"Maurizio","family":"Murgia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,10]]},"reference":[{"key":"16_CR1","unstructured":"Ethereum token dynanics. https:\/\/stat.bloxy.info\/superset\/dashboard\/tokens"},{"key":"16_CR2","unstructured":"Hyperledger fabric: read-write set semantics. https:\/\/hyperledger-fabric.readthedocs.io\/en\/release-1.4\/readwrite.html"},{"key":"16_CR3","doi-asserted-by":"publisher","unstructured":"Androulaki, E., et al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: EuroSys, pp. 30:1\u201330:15 (2018). https:\/\/doi.org\/10.1145\/3190508.3190538","DOI":"10.1145\/3190508.3190538"},{"key":"16_CR4","doi-asserted-by":"publisher","unstructured":"Anjana, P.S., Kumari, S., Peri, S., Rathor, S., Somani, A.: An efficient framework for optimistic concurrent execution of smart contracts. In: PDP, pp. 83\u201392 (2019). https:\/\/doi.org\/10.1109\/EMPDP.2019.8671637","DOI":"10.1109\/EMPDP.2019.8671637"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-030-31500-9_15","volume-title":"Data Privacy Management, Cryptocurrencies and Blockchain Technology","author":"M Bartoletti","year":"2019","unstructured":"Bartoletti, M., Galletta, L., Murgia, M.: A minimal core calculus for solidity contracts. In: P\u00e9rez-Sol\u00e0, C., Navarro-Arribas, G., Biryukov, A., Garcia-Alfaro, J. (eds.) DPM\/CBT -2019. LNCS, vol. 11737, pp. 233\u2013243. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31500-9_15"},{"key":"16_CR6","unstructured":"Bartoletti, M., Galletta, L., Murgia, M.: A true concurrent model of smart contracts executions. CoRR abs\/1905.04366 (2020). http:\/\/arxiv.org\/abs\/1905.04366"},{"key":"16_CR7","doi-asserted-by":"publisher","unstructured":"Bernstein, A.J.: Analysis of programs for parallel processing. IEEE Trans. Electron. Comput. EC-15(5), 757\u2013763 (1966). https:\/\/doi.org\/10.1109\/PGEC.1966.264565","DOI":"10.1109\/PGEC.1966.264565"},{"issue":"1","key":"16_CR8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E Best","year":"1987","unstructured":"Best, E., Devillers, R.R.: Sequential and concurrent behaviour in Petri net theory. Theor. Comput. Sci. 55(1), 87\u2013136 (1987). https:\/\/doi.org\/10.1016\/0304-3975(87)90090-9","journal-title":"Theor. Comput. Sci."},{"key":"16_CR9","unstructured":"Buterin, V.: Ethereum: a next generation smart contract and decentralized application platform (2013). https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper"},{"key":"16_CR10","doi-asserted-by":"publisher","unstructured":"Cherem, S., Chilimbi, T.M., Gulwani, S.: Inferring locks for atomic sections. In: ACM SIGPLAN PLDI, pp. 304\u2013315 (2008). https:\/\/doi.org\/10.1145\/1375581.1375619","DOI":"10.1145\/1375581.1375619"},{"key":"16_CR11","unstructured":"Dias, R.J., Louren\u00e7o, J.M., Pregui\u00e7a, N.M.: Efficient and correct transactional memory programs combining snapshot isolation and static analysis. In: USENIX Conference on Hot Topics in Parallelism (HotPar) (2011)"},{"key":"16_CR12","doi-asserted-by":"publisher","unstructured":"Dickerson, T.D., Gazzillo, P., Herlihy, M., Koskinen, E.: Adding concurrency to smart contracts. In: ACM PODC, pp. 303\u2013312 (2017). https:\/\/doi.org\/10.1145\/3087801.3087835","DOI":"10.1145\/3087801.3087835"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s00446-019-00357-z","volume":"33","author":"T Dickerson","year":"2020","unstructured":"Dickerson, T., Gazzillo, P., Herlihy, M., Koskinen, E.: Adding concurrency to smart contracts. Distrib. Comput. 33, 209\u2013225 (2020). https:\/\/doi.org\/10.1007\/s00446-019-00357-z","journal-title":"Distrib. Comput."},{"key":"16_CR14","unstructured":"Entriken, W., Shirley, D., Evans, J., Sachs, N.: EIP 721: ERC-721 non-fungible token standard. https:\/\/eips.ethereum.org\/EIPS\/eip-721"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-030-32101-7_7","volume-title":"Financial Cryptography and Data Security","author":"M Fr\u00f6wis","year":"2019","unstructured":"Fr\u00f6wis, M., Fuchs, A., B\u00f6hme, R.: Detecting token systems on ethereum. In: Goldberg, I., Moore, T. (eds.) FC 2019. LNCS, vol. 11598, pp. 93\u2013112. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32101-7_7"},{"key":"16_CR16","unstructured":"Marcia, D.: ES-ETH: ethereum state change examiner (2019). https:\/\/github.com\/DiegoMarcia\/ES-ETH"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BFb0013025","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"A Mazurkiewicz","year":"1989","unstructured":"Mazurkiewicz, A.: Basic notions of trace theory. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1988. LNCS, vol. 354, pp. 285\u2013363. Springer, Heidelberg (1989). https:\/\/doi.org\/10.1007\/BFb0013025"},{"key":"16_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6","author":"F Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis (1999). https:\/\/doi.org\/10.1007\/978-3-662-03811-6","journal-title":"Principles of Program Analysis"},{"key":"16_CR19","series-title":"Monographs in Theoretical Computer Science: An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. Monographs in Theoretical Computer Science: An EATCS Series, vol. 4. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-69968-9"},{"key":"16_CR20","unstructured":"Saraph, V., Herlihy, M.: An empirical study of speculative concurrency in Ethereum smart contracts. CoRR abs\/1901.01376 (2019). http:\/\/arxiv.org\/abs\/1901.01376"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9) (1997). http:\/\/firstmonday.org\/htbin\/cgiwrap\/bin\/ojs\/index.php\/fm\/article\/view\/548","DOI":"10.5210\/fm.v2i9.548"},{"key":"16_CR22","unstructured":"Young, J.: CryptoKitties sales hit \\$12 million, could be Ethereum\u2019s killer app after all (2017). https:\/\/cointelegraph.com\/news\/cryptokitties-sales-hit-12-million-could-be-ethereums-killer-app-after-all"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-50029-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T23:04:27Z","timestamp":1717974267000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-50029-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030500283","9783030500290"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-50029-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"10 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Valletta","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malta","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2020\/coordination","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2 invited tutorials and 4 tool papers. The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}