Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus @INPROCEEDINGS{BM:CCMFFC, title = {{A Compositional Coalgebraic Model of a Fragment of Fusion Calculus}}, author = {{Maria Grazia} {Buscemi} and {Ugo} {Montanari}}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25)}, pages = {135-139}, abstract = {This work is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow the approach developed by Turi and Plotkin for lifting transition systems with a syntactic structure 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 to give an account of explicit fusions through labelled transitions. In this short essay, we focus on a fragment of the fusion calculus without recursion and replication.}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, year = {2006}, doi = {doi:10.1016/j.entcs.2005.12.109 }, partner = {PISA}, school = {University of Pisa}, status = {public}, task = {T5.1}, }
|