1 paper
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…