Sciweavers

CONCUR
2009
Springer

Deriving Syntax and Axioms for Quantitative Regular Behaviours

14 years 25 days 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)