Mobile process calculi for programming the blockchain

This document provides extra background and serves as a companion to the RChain-Architecture documentation

GETTING STARTED

This project uses Sphinx (http://www.sphinx-doc.org/en/stable/index.html) to build html that is published to Read the Docs. To run this documentation on your computer, you should do the following:

Prerequisites

• Python 2.6 or later
• git

Install Sphinx, etc

For OSX/Linux users (based on instructions here: https://read-the-docs.readthedocs.org/en/latest/getting_started.html)

• From command line: sudo pip install sphinx

For Windows users:

• http://www.sphinx-doc.org/en/stable/install.html#windows-install-python-and-sphinx

Get source code

• git clone: https://github.com/rchain/mobile-process-calculi-for-blockchain.git

Build and view html

• In a terminal window, go to the cloned directory.
• make html
• cd build/html
• open index.html (open in web browser)
• Tip: each time you run make html, just reload your browser to view changes