Mobile process calculi for programming the new blockchain

David Currin, Joseph Denman, Ed Eykholt, Lucius Gregory Meredith

December 2016