de Wind, Compositionality of HennessyMilner logic through structural operational semantics (2003)

by W J Fokkink, R J van Glabbeek, P
Venue:in: Proc. FCT’03