{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T11:25:27Z","timestamp":1762341927363,"version":"3.40.5"},"reference-count":36,"publisher":"Informa UK Limited","issue":"6","funder":[{"name":"Austria Academy of Science, JESH","award":["JESH"],"award-info":[{"award-number":["JESH"]}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"published-print":{"date-parts":[[2022,11,2]]},"DOI":"10.1080\/17445760.2022.2113398","type":"journal-article","created":{"date-parts":[[2022,8,26]],"date-time":"2022-08-26T04:22:37Z","timestamp":1661487757000},"page":"597-612","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":4,"title":["Modelling proof-of-work agreement protocol by coloured Petri nets"],"prefix":"10.1080","volume":"37","author":[{"given":"Birgit","family":"Pr\u00f6ll","sequence":"first","affiliation":[{"name":"Department of Computer Science, Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Retschitzegger","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7895-3165","authenticated-orcid":false,"given":"Wieland","family":"Schwinger","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4799-3842","authenticated-orcid":false,"given":"Tatiana R.","family":"Shmeleva","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5698-7324","authenticated-orcid":false,"given":"Dmitry A.","family":"Zaitsev","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2022,8,25]]},"reference":[{"key":"CIT0001","unstructured":"Nakamoto S. Bitcoin: a peer-to-peer electronic cash system. Technical report; 2008."},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2204.00034"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"first-page":"154","volume-title":"Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing (PODC \u201884)","author":"Bracha G.","key":"CIT0004"},{"first-page":"27","volume-title":"Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing (PODC \u201883)","author":"Ben-Or M.","key":"CIT0005"},{"first-page":"401","volume-title":"Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing (STOC \u201882)","author":"Dolev D","key":"CIT0006"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1145\/190.357399"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.21236\/ADA105946"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1675885"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1145\/42282.42283"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1145\/3402457"},{"first-page":"949","volume-title":"Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS \u201818)","author":"Dziembowski S","key":"CIT0012"},{"key":"CIT0013","first-page":"643","volume-title":"Annual International Conference on the Theory and Applications of Cryptographic Techniques EUROCRYPT 2017, LNSC","volume":"10211","author":"Pass R"},{"first-page":"1","volume-title":"Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB \u201819)","author":"Bragagnolo S","key":"CIT0014"},{"first-page":"41","volume-title":"Proceedings of the 2nd ACM International Symposium on Blockchain and Secure Critical Infrastructure (BSCI \u201820)","author":"Lin W","key":"CIT0015"},{"key":"CIT0016","first-page":"1","volume-title":"26th European Conference on Pattern Languages of Programs (EuroPLoP\u201921)","volume":"20","author":"Abadin Zu"},{"key":"CIT0017","doi-asserted-by":"crossref","unstructured":"Wang Y. Byzantine fault tolerance for distributed ledgers revisited. Distrib Ledger Technol. Accepted on April 2022.","DOI":"10.1145\/3538227"},{"first-page":"15","volume-title":"The 2022 4th International Conference on Blockchain Technology (ICBCT\u201922)","author":"Wu J","key":"CIT0018"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-5225-7709-6.ch014"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1080\/17445760.2021.1952580"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1109\/TELFOR.2018.8611840"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.25088\/ComplexSystems.26.2.341"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1002\/9780470611647"},{"first-page":"68","volume-title":"Proceedings of International Middle Eastern Multiconference on Simulation and Modelling","author":"Zaitsev DA","key":"CIT0024"},{"first-page":"31","volume-title":"Proceedings of International Middle Eastern Multiconference on Simulation and Modelling (MESM\u20192008)","author":"Zaitsev DA","key":"CIT0025"},{"first-page":"253","volume-title":"Lecture Notes in Networks and Systems: Proceedings of 4th ICMETE 2020, Micro-electronics and Telecommunication Engineering","author":"Zaitsev DA","key":"CIT0026"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA210464"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.11.002"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.3390\/info12070277"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2019.10265"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2020.2977594"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1007\/BF02667189"},{"key":"CIT0033","first-page":"135","volume":"3","author":"Ionescu M","year":"2007","journal-title":"Int J Unconv Comput"},{"key":"CIT0034","unstructured":"IP latency statistics; 2022. Available from: https:\/\/www.verizon.com\/business\/terms\/latency\/"},{"key":"CIT0035","unstructured":"Passive and active measurement. In: 23rd International Conference, PAM 2022, Virtual Event. Springer; 2022 Mar 28\u201330."},{"volume-title":"Elements of ML programming, ML97 edition","year":"1998","author":"Ullman J.","key":"CIT0036"}],"container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17445760.2022.2113398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,21]],"date-time":"2022-11-21T13:51:56Z","timestamp":1669038716000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/17445760.2022.2113398"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,25]]},"references-count":36,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,11,2]]}},"alternative-id":["10.1080\/17445760.2022.2113398"],"URL":"https:\/\/doi.org\/10.1080\/17445760.2022.2113398","relation":{},"ISSN":["1744-5760","1744-5779"],"issn-type":[{"type":"print","value":"1744-5760"},{"type":"electronic","value":"1744-5779"}],"subject":[],"published":{"date-parts":[[2022,8,25]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2022-07-29","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-08-11","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-08-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}