Deriving syntax and axioms for quantitative regular behaviours (2009)

by Filippo Bonchi, Marcello M Bonsangue, Jan J M M Rutten, Alexandra Silva
Venue:In Mario Bravetti and Gianluigi Zavattaro, editors, CONCUR, volume 5710 of Lecture Notes in Computer Science