Fingerprint
Dive into the research topics of 'Compositionality of Hennessy-Milner Logic through Structural Operational Semantics'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics
W.J. Fokkink, R.J. van Glabbeek, P. de Wind
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution