Proof Systems for Henessy-Milner Logic with Recursion (1988)

by K Larsen
Venue:in LNCS 299, CAAP'88