The Tau-Laws of Fusion

Joachim Parrow and Björn Victor

Abstract:

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:

• The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes, by Joachim Parrow and Björn Victor, LICS'98.
• Concurrent Constraints in the Fusion Calculus, by Björn Victor and Joachim Parrow, ICALP'98.
• The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes, PhD thesis by Björn Victor.
• Symbolic Characterizations and Algorithms for Hyperequivalence, by Björn Victor, technical report DoCS 98/96.
• Solos in Concert, by Cosimo Laneve and Björn Victor, ICALP'99 / MSCS 13(5) 2003.
• Solo Diagrams, by Cosimo Laneve, Joachim Parrow and Björn Victor, TACS2001.