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
»
Index
Edit on GitHub
Index