The Tau-Laws of Fusion
1998 (English)In: Proceedings of CONCUR'98 / [ed] Davide Sangiorgi, Robert de Simone, Berlin: Springer, 1998, 99-114 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
Berlin: Springer, 1998. 99-114 p.
, Lecture notes in computer science, ISSN 0302-9743 ; 1466
IdentifiersURN: urn:nbn:se:uu:diva-74245DOI: 10.1007/BFb0055611ISBN: 3540648968OAI: oai:DiVA.org:uu-74245DiVA: diva2:102155
CONCUR'98 : Concurrency theory : 9th International Conference, Nice, France, September 8-11 1998