Abstract
Purchase PDF (324 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (2)
Purchase PDF (676 K)
doi:10.1016/j.jlap.2007.05.001 
Copyright © 2007 Elsevier Inc. All rights reserved.
Available online 8 May 2007.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the pi-calculus for lifting calculi with structural axioms to bialgebras and, thus, we provide a compositional model of the fusion calculus with explicit fusions. In such a model, the bisimilarity relation induced by the unique morphism to the final coalgebra coincides with fusion hyperequivalence and it is a congruence with respect to the operations of the calculus. The key novelty in our work is that we give an account of explicit fusions through labelled transitions. Interestingly enough, this approach allows to exploit for the fusion calculus essentially the same algebraic structure used for the pi-calculus.
Keywords: Process calculi; Algebraic/coalgebraic models
