User:Ndcroos/Fusion calculus

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

edit


Category:theoretical computer science