Login / Signup
Xingtao Ren
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Deadlock Detection
Loosely Coupled
Fault Tolerance
Distributed Systems
Top Venues
SETTA
J. Syst. Archit.
</>
Publications
</>
Teng Long
,
Xingtao Ren
,
Qing Wang
,
Chao Wang
Verifying the safety properties of distributed systems via mergeable parallelism.
J. Syst. Archit.
130 (2022)
Teng Long
,
Xingtao Ren
,
Qing Wang
,
Chao Wang
Verifying the Correctness of Distributed Systems via Mergeable Parallelism.
SETTA
(2021)