Sciweavers

Share
FCT
2003
Springer

Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

9 years 7 months ago
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms satisfy certain formulae, obtained by decomposing the original formula. The method uses the structural operational semantics of the process algebra. The main contribution of this paper is that an earlier decomposition method from Larsen [14] for the De Simone format is extended to the more general ntyft/ntyxt format without lookahead.
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where FCT
Authors Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
Comments (0)
books