Priority and Maximal Progress are completely axiomatisable

H. Hermanns (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Period9 Sep 1998
    Event title9th International Conference on Concurrency Theory, CONCUR 1998
    Event typeWorkshop
    Conference number9
    LocationNice, France
    Degree of RecognitionInternational