Compositionality of Hennessy-Milner logic through structural operational semantics (2003)

by Wan Fokkink , Rob Van Glabbeek , Paulien De Wind
Venue:Huang and M. E. Glicksman, Acta Met
Citations:8 - 1 self