Compositionality of Hennessy-Milner logic by structural operational semantics

Download files
Access & Terms of Use
open access
Abstract
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.
Persistent link to this record
DOI
Additional Link
Author(s)
Fokkink, W
van Glabbeek, Robert
de Wind, P
Supervisor(s)
Creator(s)
Editor(s)
Translator(s)
Curator(s)
Designer(s)
Arranger(s)
Composer(s)
Recordist(s)
Conference Proceedings Editor(s)
Other Contributor(s)
Corporate/Industry Contributor(s)
Publication Year
2006
Resource Type
Journal Article
Degree Type
UNSW Faculty
Files
download 0200600289_hmlsos.pdf 252.59 KB Adobe Portable Document Format
Related dataset(s)