Cover Image

Formal semantics and analysis of tokenomics properties

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...

Full description

Saved in:

Bibliographic Details
Date:	2023
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
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Molecular modeling in the radiation therapy. The algebraic approach
by: Volkov, V.A., et al.
Published: (2023)

Insertion semantics of quantum interactions
by: Tarasich, Yu.G., et al.
Published: (2023)

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2022)

Algebraic approach to the analysis of legal documents
by: Letychevskyi, O.O., et al.
Published: (2023)

Neuro-symbolic approach for the biological systems and processes research
by: Letychevskyi, O.O., et al.
Published: (2024)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Algebraic modeling in international and local service logistical systems
by: Letychevskyi, O.O., et al.
Published: (2021)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

Packing non-equal hyperspheres into a hypersphere of minimal radius
by: Yaskov, G. N.
Published: (2014)

Packing non-equal hyperspheres into a hypersphere of minimal radius
by: Yaskov, G. N.
Published: (2014)

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment
by: Zubok, V. Yu.
Published: (2019)

A balanced layout problem of cylinders in a cylindrical container of the minimal radius
by: Панкратов, А. В., et al.
Published: (2015)

A balanced layout problem of cylinders in a cylindrical container of the minimal radius
by: Панкратов, А. В., et al.
Published: (2015)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Equilibrium Prices Model of the Energy Resources European Market
by: Kulyk М.M., et al.
Published: (2002)

Economic and Mathematical Model of Formally Formed Prices for Power Sector
by: Dobrovolsky V.K.
Published: (2000)

Packing convex homothetic polytopes into a cuboid
by: Stoyan, Yu. G., et al.
Published: (2018)

Packing convex homothetic polytopes into a cuboid
by: Stoyan, Yu. G., et al.
Published: (2018)

The software tool of constructive-synthesizing modeling
by: Shynkarenko, V.I., et al.
Published: (2024)

Development of the information system for semantic identification and documentation of the results of non-formal and informal education
by: Pryima, S.M., et al.
Published: (2020)

Use of metods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V., et al.
Published: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
by: V. Peschanenko, et al.
Published: (2018)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

Algebraic approach to the analysis of legal documents
by: Letychevskyi, O.O., et al.
Published: (2022)

Construction of both Geometric Relationships of Ellipses and Parabola-bounded Regions in Geometric Placement Problems
by: Hil, Mykola I., et al.
Published: (2025)

Construction of both Geometric Relationships of Ellipses and Parabola-bounded Regions in Geometric Placement Problems
by: Hil, Mykola I., et al.
Published: (2025)

Modeling of competitive equilibrium at the electricity market with regard for energy losses in electric networks
by: Saukh S.Ye., et al.
Published: (2016)

Semantic approach to automated formation of information security systems documentation
by: Bova, Yu.V., et al.
Published: (2026)

Methodology to Solve Optimal Placement Problems for 3D Objects
by: Chuhai, Andrii M., et al.
Published: (2025)

Methodology to Solve Optimal Placement Problems for 3D Objects
by: Chuhai, Andrii M., et al.
Published: (2025)

Cascade model of X-ray M emission for the atoms of heavy metals
by: Borovoy, M.O., et al.
Published: (2012)

Game theoretic modeling of AIMD network equilibrium
by: Ignatenko, O.P.
Published: (2018)

Tax Factors of Economic Dynamics: Analysis Based on the Modified IS–LM Model
by: Merkulova, Tamara, et al.
Published: (2026)

Integration of large language models with semantic processing tools as an instrument for knowledge digitization
by: Sinitsyn, I.P., et al.
Published: (2025)

Formal functional calculus for copolynomials over a commutative ring
by: Gefter, Sergiy L., et al.
Published: (2025)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

Forecast of optimal strategies for TPP under conditions of the uncertainty of the daily load schedule of Ukraine’s integrated power system
by: Bogoslavska O.Yu.
Published: (2012)