Adding concurrency to smart contracts[J] DISTRIBUTED COMPUTING 2020(33) Dickerson, Thomas Gazzillo, Paul Herlihy, Maurice Koskinen, Eric
Synthesizing Precise and Useful Commutativity Conditions[J] JOURNAL OF AUTOMATED REASONING 2020(64) Bansal, Kshitij Koskinen, Eric Tripp, Omer
