TY - JOUR
T1 - Compositionality of Hennessy-Milner logic by structural operational semantics
AU - Fokkink, W.J.
AU - van Glabbeek, R.J.
AU - de Wind, P.
N1 - DBLP:journals/tcs/FokkinkGW06
PY - 2006
Y1 - 2006
N2 - This paper presents a method for the decomposition of HML formulas. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms satisfy certain formulas, obtained by decomposing the original formula. The method uses the structural operational semantics of the process algebra. The main contribution of this paper is the extension of an earlier decomposition method for the De Simone format from the Ph.D. thesis of Larsen in 1986, to more general formats.
AB - This paper presents a method for the decomposition of HML formulas. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms satisfy certain formulas, obtained by decomposing the original formula. The method uses the structural operational semantics of the process algebra. The main contribution of this paper is the extension of an earlier decomposition method for the De Simone format from the Ph.D. thesis of Larsen in 1986, to more general formats.
UR - https://www.scopus.com/pages/publications/33644763995
UR - https://www.scopus.com/inward/citedby.url?scp=33644763995&partnerID=8YFLogxK
U2 - 10.1016/j.tcs.2005.11.035
DO - 10.1016/j.tcs.2005.11.035
M3 - Article
SN - 0304-3975
VL - 354
SP - 421
EP - 440
JO - Theoretical Computer Science
JF - Theoretical Computer Science
IS - 3
ER -