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...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2022 |
| Main Authors: | Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O. |
| Format: | Article |
| Language: | English |
| Published: |
Інститут програмних систем НАН України
2022
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/188637 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Formal semantics and analysis of tokenomics properties / O.O. Letychevskyi, V.S. Peschanenko, M.Yu. Poltorackiy, Yu.H. Tarasich, M.O. Vinnyk // Проблеми програмування. — 2022. — № 3-4. — С. 128-138. — Бібліогр.: 14 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
-
Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2023) -
Algebraic approach to the analysis of legal documents
by: Letychevskyi, O.O., et al.
Published: (2022) -
Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2010) -
APS C++ User's Library
by: Letichevsky, A., et al.
Published: (2008) -
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
by: Яценко, О.А.
Published: (2006)