User:Ndcroos/Fusion calculus
Appearance
This is not a Wikipedia article: It is an individual user's work-in-progress page, and may be incomplete and/or unreliable. For guidance on developing this draft, see Wikipedia:So you made a userspace draft. Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
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.
Formal Definition
[edit]Syntax
Categorical Model
[edit]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