Weighted Bisimulation in Linear Algebraic Form.

Michele Boreale

Browse the full CONCUR paper archive.