Deriving syntax and axioms for quantitative regular behaviours (2009)

Cached

Download Links

by Filippo Bonchi , Marcello Bonsangue , Jan Rutten , Alexandra Silva
Citations:7 - 4 self