Additional Metadata
THEME Software (theme 1)
Publisher E.A.T.C.S.
Journal Bulletin of the EATCS
Citation
Fokkink, W.J, van Glabbeek, R.J, & de Wind, P. (2006). Compositionality of Hennessy-Milner logic by structural operational semantics. Bulletin of the EATCS, 354, 421–440.