8 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
Ziyun Xu, Hao Wang, Meng Sun
Parallel execution has become a key approach to improving blockchain scalability, but the lack of formal semantics for smart contract languages in such settings makes rigorous reas…