The Tau-Laws of Fusion

Joachim Parrow and Björn Victor


We present complete axiomatizations of weak hypercongruence in the finite fragment of the fusion calculus, an extension and simplification of the pi-calculus. We treat both the full fusion calculus and the subcalculus without mismatch operators. The axiomatizations are obtained from the laws for hyperequivalence and adding so called tau-laws. These are similar to the well known tau-laws for CCS and the pi-calculus, but there is an interesting difference which highlights an aspect of the higher expressive power of the fusion calculus.

In D. Sangiorgi and R. de Simone, eds, Proceedings of CONCUR'98, volume 1466 of Lecture Notes in Computer Science, pages 99-114. Springer-Verlag, 1998. (Postscript, compressed)
This is © Springer-Verlag.

See also these related papers:

and Lucian Wischik's excellent overview of fusion research.
Björn Victor
Last modified: Mon, 11-Jan-1999 15:27 MET