Sciweavers

JLP
2007
130views more  JLP 2007»
13 years 4 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