Sciweavers

CONCUR
2009
Springer

Deriving Syntax and Axioms for Quantitative Regular Behaviours

14 years 2 months ago
Deriving Syntax and Axioms for Quantitative Regular Behaviours
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CONCUR
Authors Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
Comments (0)