Collaborated with:
S.L.0003 P.C.Ölveczky K.Santhanam I.Gupta J.Meseguer
Talks about:
distribut (1) transact (1) protocol (1) analysi (1) formal (1) rola (1) new (1)
Person: Qi Wang 0017
DBLP: 0017:Qi_Wang
Contributed to:
Wrote 1 papers:
- FASE-2018-LiuOSWGM #analysis #distributed #formal method #named #protocol #transaction
- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis (SL0, PCÖ, KS, QW0, IG, JM), pp. 77–93.