Sciweavers

ENTCS
2008
99views more  ENTCS 2008»
14 years 20 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