Formal semantics and analysis of tokenomics properties

• Datum: 2023
• Hauptverfasser: Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.
• Format: Artikel
• Sprache: Englisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2023
• Schlagworte: algebraic modeling; tokenomics; decentralization; tokenomic equilibrium; formal methods; insertion modeling; UDC 519.85
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/515
• Назва журналу: 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...