Rholang is a behaviorally typed, concurrent programming language formally modeled by Rho-calculus.
Currently, there are no issues on this topic. Create one.