Mobile process calculi for programming the blockchain
latest

Contents:

  • Introduction
  • Actors, Tuples and π
  • Enter the blockchain
  • Conclusions and future work
  • Bibliography
Mobile process calculi for programming the blockchain
  • Docs »
  • Mobile process calculi for programming the new blockchain
  • Edit on GitHub

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
Next

© Copyright 2016, RChain Co-op. Revision 6dc84f9c.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
Downloads
pdf
htmlzip
epub
On Read the Docs
Project Home
Builds

Free document hosting provided by Read the Docs.