Technical Report 2005-038

Modelling Fusion Calculus using HD-Automata

GianLuigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, and Kidane Yemane

November 2005

We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata is easily adapted to handle Fusion calculus processes. Hence, the transition systems of Fusion calculus processes can be minimised according to the notion of observational semantics of the calculus. As a beneficial side effect, this also provides a bisimulation checker for Fusion calculus.

Note: A shorter version appeared in the proceedings of CALCO 2005

Download BibTeX entry.