Logo eprints

A compositional coalgebraic model of a fragment of fusion calculus

Buscemi, Maria Grazia and Montanari, Ugo A compositional coalgebraic model of a fragment of fusion calculus. Electronic Notes in Theoretical Computer Science, 162. pp. 135-139. ISSN 1571-0661 (2006)

PDF - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (171kB) | Preview


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.

Item Type: Article
Identification Number: 10.1016/j.entcs.2005.12.109
Projects: Research partially supported by the EU IST-FP6 16004 Integrated Project SENSORIA.
Uncontrolled Keywords: Process Calculi; Algebraic/Coalgebraic Models
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 29 not found.
Date Deposited: 03 Mar 2011 10:21
Last Modified: 08 Oct 2014 09:13
URI: http://eprints.imtlucca.it/id/eprint/126

Actions (login required)

Edit Item Edit Item