Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
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
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Molecular modeling in the radiation therapy. The algebraic approach
von: Volkov, V.A., et al.
Veröffentlicht: (2023)

Insertion semantics of quantum interactions
von: Tarasich, Yu.G., et al.
Veröffentlicht: (2023)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2022)

Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Neuro-symbolic approach for the biological systems and processes research
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2024)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

Algebraic modeling in international and local service logistical systems
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2021)

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

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

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

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

Packing non-equal hyperspheres into a hypersphere of minimal radius
von: Yaskov, G. N.
Veröffentlicht: (2014)

Packing non-equal hyperspheres into a hypersphere of minimal radius
von: Yaskov, G. N.
Veröffentlicht: (2014)

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

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

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

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

The software tool of constructive-synthesizing modeling
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)

Packing convex homothetic polytopes into a cuboid
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2018)

Packing convex homothetic polytopes into a cuboid
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2018)

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

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

Use of metods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V., et al.
Veröffentlicht: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
von: V. Peschanenko, et al.
Veröffentlicht: (2018)

Game theoretic modeling of AIMD network equilibrium
von: Ignatenko, O.P.
Veröffentlicht: (2018)

Semantic approach to automated formation of information security systems documentation
von: Bova, Yu.V., et al.
Veröffentlicht: (2026)

Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2022)

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

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

Methodology to Solve Optimal Placement Problems for 3D Objects
von: Chuhai, Andrii M., et al.
Veröffentlicht: (2025)

Methodology to Solve Optimal Placement Problems for 3D Objects
von: Chuhai, Andrii M., et al.
Veröffentlicht: (2025)

Cascade model of X-ray M emission for the atoms of heavy metals
von: Borovoy, M.O., et al.
Veröffentlicht: (2012)

Game-theory analysis of multi-processor schedulers. Simulation model
von: Ignatenko, O.P., et al.
Veröffentlicht: (2018)

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

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

Formal functional calculus for copolynomials over a commutative ring
von: Gefter, Sergiy L., et al.
Veröffentlicht: (2025)

Nonlinear spin waves in antiferromagnets with unixial magnetic anysotropy in a magnetic field
von: Gorobets, O.Yu.
Veröffentlicht: (2007)

A method of semantic models for constructing and using for the public opinion monitoring.
von: Dodonov, A. G., et al.
Veröffentlicht: (2019)

General formal local cohomology modules
von: Rezaei, Sh.
Veröffentlicht: (2021)

A method of formalizing the making decision process based on the theory of threshold elements
von: Azarova, A. O., et al.
Veröffentlicht: (2018)