User:Ndcroos/Fusion calculus

From Wikipedia, the free encyclopedia

In theoretical computer science, Fusion calculus is a process calculus, invented between 1996 and 1998 by Bjorn Victor and Joachim Parrow. The aim is to simplify the π-calculus and to model concurrent constraint programming.


bisimulation

Formal Definition[edit]

Syntax


Categorical Model[edit]

initial algebra

coalgebra

presheaf

Encoding of the lambda calculus

See also[edit]

References[edit]

The fusion calculus: expressiveness and symmetry

A Categorical Model of the Fusion Calculus

The Polyadic -Calculus: a Tutorial

External links[edit]


Category:theoretical computer science