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 proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationFundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings
EditorsA. Lingas, B. Nilsson
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science

Bibliographical note


Cite this