Sciweavers

ENTCS
2008
99views more  ENTCS 2008»
15 years 18 days 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