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

by Alex Simpson
Citations:12 - 1 self