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 17 October, 2019
Daniel Frumkin"Added to article to surpass 1000 characters"
Daniel Frumkin edited on 17 October, 2019 2:18 pm
Edits made to:
Article (+295 characters)

Article

The theory can be found in a form of asynchronous message-passing calculus built on a notion of quoting. Names represent the code of a process as an object for process manipulation. During dequoting operations, it is possible to avoid process variables while yielding high-order characteristics.

Edits on 6 January, 2019
Daniel Frumkin"Added image, wrote description and article, added categories and related topics, added text resources."
Daniel Frumkin edited on 6 January, 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 January, 2017
Golden AI"Initial topic creation"
Golden AI created this topic on 1 January, 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.

Golden logo
Text is available under the Creative Commons Attribution-ShareAlike 4.0; additional terms apply. By using this site, you agree to our Terms & Conditions.