digraph architecture {
    Rev [URL="https://rchain.atlassian.net/wiki/spaces/CORE/pages/34766872/Rev+Token+Contract"];
    cob [label="contracts on blockchain", URL="https://rchain.atlassian.net/wiki/spaces/CORE/pages/196655/Contracts"];
    cse [label="Casper + State updates + Execution env (+ Greg's political capital)", URL="https://rchain.atlassian.net/wiki/spaces/CORE/pages/92536846/Casper+for+RChain"];
    nlc [label="Node-local contracts"];
    rc [label="Rho calculus",URL="http://www.sciencedirect.com/science/article/pii/S1571066105051893"];
    Roscala [URL="https://rchain.atlassian.net/wiki/spaces/ROS/overview"];
    Rholang [URL="https://docs.google.com/document/d/1gnBCGe6KLjYnahktmPSm_-8V4jX53Zk10J-KFQl7mf8/edit"];
    Network [URL="https://rchain.atlassian.net/wiki/spaces/CORE/pages/2293768/Communications"];
    Storage [URL="https://rchain.atlassian.net/wiki/spaces/CORE/pages/3178514/Storage"];
    RBL [URL="https://rchain.atlassian.net/wiki/spaces/DOC/pages/28672088/Overview+of+Rosette+VM"];
    sw [label="Scala wrapper"];
    sw2 [label="Scala wrapper"];
    LMDB [URL="http://www.lmdb.tech/doc/"];
    cpp [label="C++"];
    mc [label="Machine code"];
    
    Rev -> cob [label="is a blessed"];
    cob -> cse [label="use to get consenus"];
    cob -> Rholang [label="are written in"];
    cse -> Rev [label="include transactions relevant to", style=dashed];
    cse -> nlc [label="are implemented as"];
    nlc -> Rholang [label="are written in"];
    Rholang -> rc [label="desugars to"];
    Rholang -> RBL [label="compiles to"];
    rc -> RBL [label="trying to make semantically equivalent"];
    RBL -> Roscala [label="runs on"];
    RBL -> Storage [label="uses"];
    RBL -> Network [label="uses"];
    Roscala -> Scala [label="is written in"];
    Scala -> JVM [label="compiles to"];
    JVM -> mc [label="is written in"];
    Storage -> Scala [label="is written in"];
    Storage -> sw [label="uses"];
    sw -> Scala [label="is written in"];
    sw -> LMDB [label="wraps"];
    LMDB -> cpp [label="is written in"];
    cpp -> mc [label="compiles to"];
    Network -> sw2 [label="uses"];
    sw2 -> JVM [label="compiles to"];
}