Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)
复制标题
设计具有紧急停止故障的异步多方协议（工件）
DOI：
10.4230/darts.9.2.9
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Barwell A
中科院分区：
文献类型：
--
作者：
Barwell A
Scribble 协议语言
DOI：
10.1007/978-3-319-05119-2_3
发表时间：
2013
期刊：
ACM Trans. Inf. Syst. Secur.
影响因子：
--
作者：
N. Yoshida;Raymond Hu;R. Neykova;Nicholas Ng
通讯作者：
Nicholas Ng
设计具有紧急停止故障的异步多方协议
DOI：
10.48550/arxiv.2305.06238
发表时间：
2023
期刊：
--
影响因子：
--
作者：
Barwell A
通讯作者：
Barwell A