Sciweavers

CONCUR
2009
Springer

Deriving Syntax and Axioms for Quantitative Regular Behaviours

13 years 11 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)