<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A compositional coalgebraic model of a fragment of fusion calculus"^^ . "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."^^ . "2006" . . "162" . . "Elsevier"^^ . . . "Electronic Notes in Theoretical Computer Science"^^ . . . "15710661" . . . . . . . . . . "Maria Grazia"^^ . "Buscemi"^^ . "Maria Grazia Buscemi"^^ . . "Ugo"^^ . "Montanari"^^ . "Ugo Montanari"^^ . . . . . . "A compositional coalgebraic model of a fragment of fusion calculus (PDF)"^^ . . . . . . "Buscemi_Montanari.pdf"^^ . . . "A compositional coalgebraic model of a fragment of fusion calculus (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "A compositional coalgebraic model of a fragment of fusion calculus (Other)"^^ . . . . . . "preview.jpg"^^ . . . "A compositional coalgebraic model of a fragment of fusion calculus (Other)"^^ . . . . . . "medium.jpg"^^ . . . "A compositional coalgebraic model of a fragment of fusion calculus (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #126 \n\nA compositional coalgebraic model of a fragment of fusion calculus\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .