Quantitative Languages Defined by Functional Automata.

Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin

Browse the full CONCUR paper archive.