RChain

RChain is a decentralized, economically sustainable public compute infrastructure. Its execution model is derived from the syntax and semantics of rho-calculus, where “Rho” stands for reflective, higher-order. The rho-calculus is a framework for analyzing concurrent processes that communicate like biological cells or different namespaces on a blockchain.

Refer to:

• RChain Platform Architecture Ed Eykholt, Lucius Meredith, Joseph Denman
• RChain coop