Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs.

Ziyun Xu, Hao Wang, Meng Sun

Browse the full TASE paper archive.