Compositionality of Hennessy-Milner Logic through Structural Operational Semantics.

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind

Browse the full FCT paper archive.