Computing Behavioral Distances, Compositionally.

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

Browse the full MFCS paper archive.