1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DC2020
Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic
Yepeng Ding, Hiroyuki Sato
Decentralized techniques are becoming crucial and ubiquitous with the rapid advancement of distributed ledger technologies such as the blockchain. Numerous decentralized systems ha…
cs.LO2020★ 1 cited
Extending Concurrent Separation Logic to Enhance Modular Formalization
Yepeng Ding, Hiroyuki Sato
Nowadays, numerous services based on large-scale distributed systems have been developed to boost the convenience of human life. On the other side, it becomes a significant challen…