Formal semantics and analysis of tokenomics properties

• Published in: PROBLEMS IN PROGRAMMING
• Date: 2023
• Issue: 3-4
• Pages: 128-138
• ISSN: 1727-4907
• Author Affiliations: O.O. Letychevskyi — Glushkov Institute of Cybernetics NAS of Ukraine; V.S. Peschanenko — Kherson State University — ORCID: 0000-0003-1013-9877; M.Yu. Poltorackiy — Kherson State University; Yu.H. Tarasich — Kherson State University — ORCID: 0000-0002-6201-4569; M.O. Vinnyk — Kherson State University — ORCID: 0000-0002-2475-7169
• Main Authors: Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.
• Format: Article
• Language: English
• Published: PROBLEMS IN PROGRAMMING 2023
• Subjects: algebraic modeling; tokenomics; decentralization; tokenomic equilibrium; formal methods; insertion modeling; UDC 519.85
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/515
• Journal Title: Problems in programming

Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same time, the most difficult task for each project is the creation of a self-governi...