Priority and Maximal Progress are completely axiomatisable

  • H. Hermanns (Keynote speaker)

    Activity: Talk or presentation › Oral presentation

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