Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract)

Holger Hermanns, Markus Lohrey. Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). In Davide Sangiorgi, Robert de Simone, editors, CONCUR 98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings. Volume 1466 of Lecture Notes in Computer Science, pages 237-252, Springer, 1998. [doi]

Abstract

Abstract is missing.