Golden
Rho calculus

Rho calculus

Reflective Higher-Order Calculus (Rho calculus) is a asynchronous message-passing calculus built on a notion of quoting.

All edits

Edits on 6 Jan 2019
Daniel Frumkin"Added image, wrote description and article, added categories and related topics, added text resources."
Daniel Frumkin edited on 6 Jan 2019 2:34 pm
Edits made to:
Description (+121 characters)
Article (+788 characters)
People (+2 rows) (+4 cells) (+51 characters)
Further reading (+3 rows) (+11 cells) (+330 characters)
Categories (+2 topics)
Related Topics (+3 topics)
Topic thumbnail

Rho calculus

Reflective Higher-Order Calculus (Rho calculus) is a asynchronous message-passing calculus built on a notion of quoting.

Article

Reflective Higher-Order Calculus, or Rho calculus for short, is a mathematical theory first proposed by Greg Meredith and Matthias Radestock in 2005.



Rho calculus was created as an extension of π-calculus, which is an open procedure that provides a theory of processes when provided a theory of names. Instead of this open theory, Rho calculus is a closed theory of processes, meaning that in Rho calculus the theory of names arises from and is wholly determined by the theory of processes.



Co-founder Greg Meredith worked extensively on a Microsoft's BizTalk Process Orchestration Engine, an application integration platform that implements higher-order calculus in its execution engine. Meredith then went on to found a blockchain smart contract platform based on Rholang, named Rchain.



People

Name
Role
Related Golden topics

Greg Meredith

Co-creator



Matthias Radestock

Co-creator



Further reading

Title
Author
Link
Type

Adventures in the Rho Calculus - reinman - Medium

reinman

Web

Introduction to Rho Calculus

Jeremy Beal

Web

RChain Platform Architecture -- RChain Architecture 0.9.0 documentation



Web

Categories

Related Topics

Edits on 1 Jan 2017
Golden AI"Initial topic creation"
Golden AI created this topic on 1 Jan 2017 12:00 am
Edits made to:
Article
Topic thumbnail

 Rho calculus

Reflective Higher-Order Calculus (Rho calculus) is a asynchronous message-passing calculus built on a notion of quoting.

No more activity to show.