Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic. - Ding, Yepeng; Sato, Hiroyuki (2020)