Axiomatising Divergence.

Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns

Browse the full ICALP paper archive.