Collaborated with:P.C.Ölveczky K.Santhanam Q.W.0017 I.Gupta J.Meseguer
Talks about:distribut (1) transact (1) protocol (1) analysi (1) formal (1) rola (1) new (1)
Person: Si Liu 0003
DBLP: 0003:Si_Liu
Contributed to:
2018Wrote 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.