Sciweavers

4 search results - page 1 / 1
» A compositional coalgebraic model of fusion calculus
Sort
View
JLP
2007
130views more  JLP 2007»
13 years 3 months ago
A compositional coalgebraic model of fusion calculus
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...
Maria Grazia Buscemi, Ugo Montanari
ENTCS
2008
99views more  ENTCS 2008»
13 years 3 months ago
A Categorical Model of the Fusion Calculus
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...
Marino Miculan
CALCO
2005
Springer
97views Mathematics» more  CALCO 2005»
13 years 9 months ago
Modelling Fusion Calculus using HD-Automata
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 ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, ...
LICS
2009
IEEE
13 years 10 months ago
Psi-calculi: Mobile Processes, Nominal Data, and Logic
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...