Login / Signup

Compositionality of Hennessy-Milner logic by structural operational semantics.

Wan J. FokkinkRob J. van GlabbeekPaulien de Wind
Published in: Theor. Comput. Sci. (2006)
Keyphrases