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
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
.