tymm / mobile-process-calculi-for-blockchain Goto Github PK
View Code? Open in Web Editor NEWThis project forked from rchain/mobile-process-calculi-for-blockchain
Sphinx source
Home Page: http://mobile-process-calculi-for-programming-the-new-blockchain.rtfd.io/