@dblp

A compositional coalgebraic model of fusion calculus.

, and . J. Log. Algebraic Methods Program., 72 (1): 78-97 (2007)

Links and resources

Tags