To design computational calculi for specific applications, we must first understand what constitutes a computational calculus. The RhoVM is based on the concurrent computational calculus known as reflective, higher-order calculus, or ρ-calculus for short.
RChain debrief 92 focuses on technical updates, the rholang team, validator information, Pithia updates, and much more. learn more about how the Rholang team, and how we are preparing for the genesis block.
The ρ-calculus is an asynchronous message-passing calculus built on a notion of quoting; it is a closed theory, as the theory of names is wholly determined by the theory of processes. The name ρ-calculus or RHO-calculus is an acronym for reflective, higher-order calculus.
Read on for the full version of RChain's community debrief 91(August 22nd) including latest developments, release announcements and news about the upcoming RCon3.
These RHOC will be sold at a discount from the spot price* as part of validator agreements. The discount is to attract early validators to the network. Typically, networks create new tokens as a reward for validating or mining transactions.
Pi-Calc is a model of concurrent computation, or more specifically, a process calculus based upon a notion of naming. In a process calculus, we represent interactions between independent agents or processes as message-passing, as opposed to modifications of shared variables (as in λ-calculus).
There's been a continued increase in attendance at the Tuesday node testing session, with thoughts on getting the sessions recorded and published. The technical team is moving forward finalizing Node 0.6 for release, focusing on stability, robustness and performance of the system.