Smart contract transactions demonstrate issues of performance and correc...
Architectural imperatives due to the slowing of Moore's Law, the broad
a...
We present a new approach to check for commutativity in concurrent progr...
Adjacency lists are frequently used in graphing or map based application...