Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS.

Published in: J. Log. Algebraic Methods Program. (2004)

Keyphrases