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

by Alex Simpson
Citations:11 - 1 self