Decentralized Asynchronous Crash-resilient Runtime Verification-MedSci.cn - 梅斯（MedSci）

Decentralized Asynchronous Crash-resilient Runtime Verification

Bonakdarpour, B; Fraigniaud, P; Rajsbaum, S; Rosenblueth, D; Travers, C

Bonakdarpour, B (通讯作者)，Michigan State Univ, 428 S Shaw Lane,Engn Bldg, E Lansing, MI 48824 USA.

JOURNAL OF THE ACM, 2022; 69 (5):

科室
- - 订阅+
  - 更多科室
工具
服务