Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract).

Holger Hermanns, Markus Lohrey

Browse the full CONCUR paper archive.