Compositionality of Hennessy-Milner logic by structural operational semantics Fokkink, W en_US van Glabbeek, Robert en_US de Wind, P en_US 2021-11-25T15:26:31Z 2021-11-25T15:26:31Z 2006 en_US
dc.description.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. en_US
dc.identifier.issn 0304-3975 en_US
dc.language English
dc.language.iso EN en_US
dc.rights CC BY-NC-ND 3.0 en_US
dc.rights.uri en_US
dc.source Legacy MARC en_US
dc.subject.other structural operational semantics en_US
dc.subject.other modal logic en_US
dc.subject.other compositional proof en_US
dc.subject.other system en_US
dc.subject.other congruence en_US
dc.subject.other ntyft/ntyxt format en_US
dc.title Compositionality of Hennessy-Milner logic by structural operational semantics en_US
dc.type Journal Article en
dcterms.accessRights open access
dspace.entity.type Publication en_US
unsw.description.publisherStatement Theoretical Computer Science is available via: en_US
unsw.identifier.doiPublisher en_US
unsw.relation.faculty Engineering
unsw.relation.ispartofissue 3 en_US
unsw.relation.ispartofjournal Theoretical Computer Science en_US
unsw.relation.ispartofpagefrompageto 421-440 en_US
unsw.relation.ispartofvolume 354 en_US
unsw.relation.originalPublicationAffiliation Fokkink, W en_US
unsw.relation.originalPublicationAffiliation van Glabbeek, Robert, Computer Science & Engineering, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation de Wind, P en_US School of Computer Science and Engineering *
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
252.59 KB
Resource type