Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems

IF 0.7 4区计算机科学 Q4 COMPUTER SCIENCE, SOFTWARE ENGINEERING

Programming and Computer Software Pub Date : 2023-10-01 DOI:10.1134/s0361768823050043

I. A. Fedotov, A. S. Khritankov, M. D. Obidare

引用次数: 0

Abstract Image

查看原文本刊更多论文

分布式账本系统中多方协议的自动验证和发送消息的调度

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Programming and Computer Software 工程技术-计算机：软件工程

CiteScore

1.60

自引率

28.60%

发文量

审稿时长

>12 weeks

期刊介绍： Programming and Computer Software is a peer reviewed journal devoted to problems in all areas of computer science: operating systems, compiler technology, software engineering, artificial intelligence, etc.