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:

[an error occurred while processing this directive]
• The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes, by Joachim Parrow and Björn Victor, LICS'98.
[an error occurred while processing this directive]
• Concurrent Constraints in the Fusion Calculus, by Björn Victor and Joachim Parrow, ICALP'98.
[an error occurred while processing this directive]
• The Tau-Laws of Fusion, by Joachim Parrow and Björn Victor, CONCUR'98.
[an error occurred while processing this directive]
• The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes, PhD thesis by Björn Victor.
[an error occurred while processing this directive]
• Symbolic Characterizations and Algorithms for Hyperequivalence, by Björn Victor, technical report DoCS 98/96.
[an error occurred while processing this directive]
• Solos in Concert, by Cosimo Laneve and Björn Victor, ICALP'99 / MSCS 13(5) 2003.
[an error occurred while processing this directive]
• Solo Diagrams, by Cosimo Laneve, Joachim Parrow and Björn Victor, TACS2001.