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
»
Search
Please activate JavaScript to enable the search functionality.