Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS (2004)

by A Simpson
Venue:Journal of Logic and Algebraic Programming