Fusion Calculus
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.
This page is linked from: Bisimulation