Formal semantics and analysis of tokenomics properties

• Дата: 2023
• Автори: Letychevskyi, O. O., Peschanenko, V. S., Poltorackiy, M. Yu., Tarasich, Yu.H., Vinnyk, M.O.
• Формат: Стаття
• Мова: English
• Опубліковано: Інститут програмних систем НАН України 2023
• Теми: algebraic modeling; tokenomics; decentralization; tokenomic equilibrium; formal methods; insertion modeling; UDC 519.85
• Онлайн доступ: 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...