{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T08:03:23Z","timestamp":1761897803853,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031208331"},{"type":"electronic","value":"9783031208348"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-20834-8_2","type":"book-chapter","created":{"date-parts":[[2022,11,17]],"date-time":"2022-11-17T20:03:58Z","timestamp":1668715438000},"page":"23-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Algebraic Virtual Machine and Its Applications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0856-9771","authenticated-orcid":false,"given":"Oleksandr","family":"Letychevskyi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1013-9877","authenticated-orcid":false,"given":"Volodymyr","family":"Peschanenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vlad","family":"Volkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,11,18]]},"reference":[{"key":"2_CR1","volume-title":"BPMN Method and Style","author":"B Silver","year":"2011","unstructured":"Silver, B.: BPMN Method and Style, 2nd edn. Cody-Cassidy Press, Altadena (2011)","edition":"2"},{"key":"2_CR2","volume-title":"Flexible Views for View-based Model-Driven Development","author":"E Burger","year":"2014","unstructured":"Burger, E.: Flexible Views for View-based Model-Driven Development. KIT Scientific Publishing, Karlsruhe (2014)"},{"key":"2_CR3","volume-title":"Unified Modeling Language User Guide","author":"G Booch","year":"2005","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: Unified Modeling Language User Guide. Addison-Wesley, Boston (2005)"},{"key":"2_CR4","unstructured":"User requirements notation (URN) \u2013 Language definition. ITU-T Recommendation, Z. 151 (2008)"},{"key":"2_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1633-6","volume-title":"The VHDL Handbook","author":"D Coelho","year":"1989","unstructured":"Coelho, D.: The VHDL Handbook. Springer, New York (1989). https:\/\/doi.org\/10.1007\/978-1-4613-1633-6"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-44616-3_18","volume-title":"Recent Trends in Algebraic Development Techniques","author":"D Gilbert","year":"1999","unstructured":"Gilbert, D., Letichevsky, A.: A model for interaction of agents and environments. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) Recent Trends in Algebraic Development Techniques, vol. 1827, pp. 311\u2013328. Springer, Cham (1999). https:\/\/doi.org\/10.1007\/978-3-540-44616-3_18"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Kapitonova, J., Letichevsky, A.: Algebraic programming in the APS system. In: Proceedings of ISSAC 1990. ACM, New York (1990)","DOI":"10.1145\/96877.96896"},{"key":"2_CR8","unstructured":"Jang, J., Lee, H.-N.: Profitable Double-Spending Attacks. https:\/\/arxiv.org\/abs\/1903.01711"},{"key":"2_CR9","unstructured":"Losa, G., Dodds, M.: On the formal verification of the stellar consensus protocol. In: 2nd Workshop on Formal Methods for Blockchains (FMBC 2020) (2020)"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Li, K., et al.: PoV: An Efficient Voting-Based Consensus Algorithm for Consortium Blockchains (2020). https:\/\/doi.org\/10.3389\/fbloc.2020.00011","DOI":"10.3389\/fbloc.2020.00011"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-24912-4_1","volume-title":"SDL 2015: Model-Driven Engineering for Smart Cities","author":"A Letichevsky","year":"2015","unstructured":"Letichevsky, A., Letychevskyi, O., Peschanenko, V., Weigert, T.: Insertion modeling and symbolic verification of large systems. In: Fischer, J., Scheidgen, M., Schieferdecker, I., Reed, R. (eds.) SDL 2015: Model-Driven Engineering for Smart Cities, vol. 9369, pp. 3\u201318. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24912-4_1"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-59615-5_13","volume-title":"Verification of Digital and Hybrid Systems","author":"TA Henzinger","year":"2000","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Inan, M.K., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems, vol. 170, pp. 265\u2013292. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-3-642-59615-5_13"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1007\/s10559-020-00289-8","volume":"56","author":"V Kharchenko","year":"2020","unstructured":"Kharchenko, V., Letychevskyi, O., Odarushchenko, O., Peschanenko, V., Volkov, V.: Modeling method for development of digital system algorithms based on programmable logic devices. Cybern. Syst. Anal. 56, 710\u2013717 (2020)","journal-title":"Cybern. Syst. Anal."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Letychevskyi, O.: Two-level algebraic method for detection of vulnerabilities in binary code. In: 2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) (2019)","DOI":"10.1109\/IDAACS.2019.8924255"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Letychevskyi, O., Peschanenko, V., Radchenko, V., Poltoratzkyi, M., Mogylko, S., Kovalenko, P.: Formal verification of token economy models. In: IEEE Explore Digital Library, IEEE International Conference on Blockchain and Cryptocurrency (ICBC) 2019, Seoul, South Korea, 14\u201317 May 2019 (2019)","DOI":"10.1109\/BLOC.2019.8751318"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Letychevskyi, O., Peschanenko, V., Radchenko, V., Orlovskyi, M., Sobol, A.: Algebraic approach to verification and testing of distributed applications. In: Blockchain and Internet of Things Conference (BIOTC) 2019, Okinava, Japan (2019)","DOI":"10.1145\/3343147.3343159"},{"key":"2_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems, vol. 92. Springer, Cham (1980). https:\/\/doi.org\/10.1007\/3-540-10235-3"},{"key":"2_CR18","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Hoboken (1989)"},{"key":"2_CR19","unstructured":"Milner, R.: The polyadic \u03c0-calculus: a tutorial, Tech. Rep. ECS\u2013LFCS\u201391\u2013180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK (1991)"},{"key":"2_CR20","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Hoboken (1985)"},{"issue":"1\/3","key":"2_CR21","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"JA Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communications. Inf. Control 60(1\/3), 109\u2013137 (1984)","journal-title":"Inf. Control"},{"key":"2_CR22","unstructured":"Bergstra, J.A., Ponce, A., Smolka, S.A., (eds.) Handbook of Process Algebra, p. 1342, North Holland (2001)"},{"key":"2_CR23","unstructured":"Rutten, J.: Coalgebras and systems, TCS 249"},{"key":"2_CR24","volume-title":"Unifying Theories of Programming","author":"CAR Hoare","year":"1999","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice Hall, Hoboken (1999)"},{"key":"2_CR25","unstructured":"Letichevsky, A.A., et al.: Insertion modeling in distributed system design. Problems of programming, \u2116 4. \u2014 C. 13\u201338 (2008)"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-58298-2_1","volume-title":"Formal Methods for Industrial Critical Systems","author":"H Garavel","year":"2020","unstructured":"Garavel, H., Beek, M.H., Pol, J.: The 2020 expert survey on formal methods. In: ter Beek, M.H., Ni\u010dkovi\u0107, D. (eds.) Formal Methods for Industrial Critical Systems, vol. 12327, pp. 3\u201369. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58298-2_1"},{"key":"2_CR27","unstructured":"Gleirscher, M., Pol, J., Woodcock, J.: A Manifesto for Applicable Formal Methods (2021). https:\/\/www.researchgate.net\/publication\/357301976_A_Manifesto_for_Applicable_Formal_Methods"},{"key":"2_CR28","unstructured":"https:\/\/en.wikipedia.org\/wiki\/Rational_Software"},{"key":"2_CR29","unstructured":"http:\/\/www.ifmconference.org\/"},{"key":"2_CR30","unstructured":"http:\/\/informatik.uni-bremen.de\/cofi\/index.php\/CoFI"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-20834-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,17]],"date-time":"2022-11-17T20:06:45Z","timestamp":1668715605000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-20834-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031208331","9783031208348"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-20834-8_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"18 November 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTERI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kherson","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ukraine","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icteri2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/icteri.org\/icteri-2021\/","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":"24","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":"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":"50% - 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":"1.6","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)"}}]}}