Quantitative Algebraic Reasoning.

Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

Browse the full LICS paper archive.