{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T02:34:27Z","timestamp":1750473267111,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030452339"},{"type":"electronic","value":"9783030452346"}],"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:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-45234-6_20","type":"book-chapter","created":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T14:04:23Z","timestamp":1587391463000},"page":"400-419","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Algorithmic Analysis of Blockchain Efficiency with Communication Delay"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Pinz\u00f3n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Camilo","family":"Rocha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Finke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,17]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Z. Alhadhrami, S. Alghfeli, M. Alghfeli, J. A. Abedlla, and K. Shuaib. Introducing blockchains for healthcare. In International Conference on Electrical and Computing Technologies and Applications (ICECTA), pages 1\u20134. IEEE, 2017.","DOI":"10.1109\/ICECTA.2017.8252043"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Y. Aoki, K. Otsuki, T. Kaneko, R. Banno, and K. Shudo. Simblock: A blockchain network simulator. In IEEE INFOCOM 2019-IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), pages 325\u2013329. IEEE, 2019.","DOI":"10.1109\/INFCOMW.2019.8845253"},{"key":"20_CR3","unstructured":"T. Aste, P. Tasca, and T. Di Matteo. Blockchain technologies: The foreseeable impact on society and industry. Computer, 50(9):18\u201328, 2017."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"A.-L. Barabasi and R. Albert. Emergence of scaling in random networks. Science, 286(5439):509\u2013512, 1999.","DOI":"10.1126\/science.286.5439.509"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"T. Bui and T. Aura. Application of public ledgers to revocation in distributed access control. In International Conference on Information and Communications Security, pages 781\u2013792. Springer, 2018.","DOI":"10.1007\/978-3-030-01950-1_48"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"U. W. Chohan. The limits to blockchain? Scaling vs. Decentralization. 2019.","DOI":"10.2139\/ssrn.3338560"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"K. Croman, C. Decker, I. Eyal, A. E. Gencer, A. Juels, A. Kosba, A. Miller, P. Saxena, E. Shi, E. G. Sirer, et al. On scaling decentralized blockchains. In International Conference on Financial Cryptography and Data Security, pages 106\u2013125. Springer, 2016.","DOI":"10.1007\/978-3-662-53357-4_8"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"C. Decker and R. Wattenhofer. Information propagation in the Bitcoin network. In P2P, pages 1\u201310. IEEE, 2013.","DOI":"10.1109\/P2P.2013.6688704"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"P. Erd\u00f6s and A. R\u00e9nyi. On random graphs. Publicationes Mathematicae, 6:290\u2013297, 1959.","DOI":"10.5486\/PMD.1959.6.3-4.12"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"A. Gervais, G. O. Karame, K. W\u00fcst, V. Glykantzis, H. Ritzdorf, and S. Capkun. On the security and performance of proof of work blockchains. In SIGSAC conference on computer and communications security, pages 3\u201316. ACM, 2016.","DOI":"10.1145\/2976749.2978341"},{"key":"20_CR11","unstructured":"J. G\u00f6bel, H. P. Keeler, A. E. Krzesinski, and P. G. Taylor. Bitcoin blockchain dynamics: The selfish-mine strategy in the presence of propagation delay. Performance Evaluation, 104:23\u201341, 2016."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Y. Guo and C. Liang. Blockchain application and outlook in the banking industry. Financial Innovation, 2(1):24, 2016.","DOI":"10.1186\/s40854-016-0034-9"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"O. Guti\u00e9rrez, J. J. Saavedra, P. M. Wightman, and A. Salazar. Bc-med: Plataforma de registros m\u00e9dicos electr\u00f3nicos sobre tecnolog\u00eda blockchain. In Colombian Conference on Communications and Computing (COLCOM), pages 1\u20136. IEEE, 2018.","DOI":"10.1109\/ColComCon.2018.8466733"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"E. Hildenbrandt, M. Saxena, N. Rodrigues, X. Zhu, P. Daian, D. Guth, B. Moore, D. Park, Y. Zhang, A. Stefanescu, et al. KEVM: A complete formal semantics of the Ethereum virtual machine. In Computer Security Foundations Symposium (CSF), pages 204\u2013217. IEEE, 2018.","DOI":"10.1109\/CSF.2018.00022"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"H. Hou. The application of blockchain technology in E-government in China. In International Conference on Computer Communication and Networks (ICCCN), pages 1\u20134. IEEE, 2017.","DOI":"10.1109\/ICCCN.2017.8038519"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"S. Huh, S. Cho, and S. Kim. Managing IoT devices using blockchain platform. In International Conference on Advanced Communication Technology (ICACT), pages 464\u2013467. IEEE, 2017.","DOI":"10.23919\/ICACT.2017.7890132"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"C. Kaligotla and C. M. Macal. A generalized agent based framework for modeling a blockchain system. In 2018 Winter Simulation Conference (WSC), pages 1001\u20131012. IEEE, 2018.","DOI":"10.1109\/WSC.2018.8632374"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"E. Karafiloski and A. Mishev. Blockchain solutions for big data challenges: A literature review. In 17th International Conference on Smart Technologies, pages 763\u2013768. IEEE, 2017.","DOI":"10.1109\/EUROCON.2017.8011213"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"J. Kreku, V. A. Vallivaara, K. Halunen, J. Suomalainen, M. Ramachandran, V. Mu\u00f1oz, V. Kantere, G. Wills, and R. Walters. Evaluating the efficiency of blockchains in iot with simulations. In IoTBDS, pages 216\u2013223, 2017.","DOI":"10.5220\/0006240502160223"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96:73\u2013155, 1992.","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"20_CR21","unstructured":"S. Munir and M. S. I. Baig. Challenges and security aspects of blockchain based on online multiplayer games, 2019."},{"key":"20_CR22","unstructured":"S. Nakamoto et al. Bitcoin: A peer-to-peer electronic cash system. 2008."},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"S. \u00d8lnes, J. Ubacht, and M. Janssen. Blockchain in government: Benefits and implications of distributed ledger technology for information sharing, 2017.","DOI":"10.1016\/j.giq.2017.09.007"},{"key":"20_CR24","unstructured":"G. Rosu. Formal design, implementation and verification of blockchain languages. In International Conference on Formal Structures for Computation and Deduction, 2018."},{"key":"20_CR25","unstructured":"J. J. Sikorski, J. Haughton, and M. Kraft. Blockchain technology in the chemical industry: Machine-to-machine electricity market. Applied Energy, 195:234\u2013246, 2017."},{"key":"20_CR26","unstructured":"A. Tapscott and D. Tapscott. How blockchain is changing finance. Harvard Business Review, 1(9):2\u20135, 2017."},{"key":"20_CR27","unstructured":"H. Treiblmaier. Toward more rigorous blockchain research: Recommendations for writing blockchain case studies. Frontiers in Blockchain, 2:3, 2019."},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"J. Vatjus-Anttila, J. Kreku, J. Korpi, S. Khan, J. Saastamoinen, and K. Tiensyrj\u00e4. Early-phase performance exploration of embedded systems with ABSOLUT framework. Journal of Systems Architecture, 59(10, Part D):1128\u20131143, 2013.","DOI":"10.1016\/j.sysarc.2013.08.001"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"R. Zhang and B. Preneel. Lay down the common metrics: Evaluating proof-of-work consensus protocols\u2019 security. In Symposium on Security and Privacy (SP), pages 175\u2013192. IEEE, 2019.","DOI":"10.1109\/SP.2019.00086"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-45234-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,30]],"date-time":"2023-09-30T04:06:52Z","timestamp":1696046812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-45234-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030452339","9783030452346"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45234-6_20","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":"17 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","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":"25 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2020\/fase","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-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":"81","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":"23","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":"0","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":"28% - 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":"9","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":"The conference could not take place due to the COVID-19 pandemic. There was an online event on July 2, 2020.","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)"}}]}}