Mobile process calculi for programming the new blockchain

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

December 2016

Contents:

• Introduction
• Actors, Tuples and π
  • Rosette
  • Tuplespaces
  • Distributed implementations of mobile process calculi
  • Implications for resource addressing, content delivery, query, and sharding
• Enter the blockchain
  • Casper
  • Sharding
• Conclusions and future work
• Bibliography