Deriving Syntax and Axioms for Quantitative Regular Behaviours.

Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva

Browse the full CONCUR paper archive.