Fusion Calculus is yet another nicer variant of the _(Pi calculus), an *(abstract VM) for parallel, mobile computations, for expressing *(concurrency).

It is based on the concept that communication can be broken in two independent components: fusion of names (i.e. a mutual agreement between two parties to consider two names as aliases) and name scoping. By decoupling these components a calculus based on communication is obtained which is less understandable than pi, but having better formal properties. Notably, there is only one sensible form of _(bisimulation) defined for the Fusion Calculus, which is also a _(congruence).

<ul class="links">
<li>_("The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes"|http://user.it.uu.se/~victor/tr/fusion.shtml)
</ul>
