Publication:
Compositionality of Hennessy-Milner logic by structural operational semantics
Compositionality of Hennessy-Milner logic by structural operational semantics
| dc.contributor.author | Fokkink, W | en_US |
| dc.contributor.author | van Glabbeek, Robert | en_US |
| dc.contributor.author | de Wind, P | en_US |
| dc.date.accessioned | 2021-11-25T15:26:31Z | |
| dc.date.available | 2021-11-25T15:26:31Z | |
| dc.date.issued | 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.identifier.uri | http://hdl.handle.net/1959.4/44465 | |
| dc.language | English | |
| dc.language.iso | EN | en_US |
| dc.rights | CC BY-NC-ND 3.0 | en_US |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/3.0/au/ | 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.accessRights.uri | https://purl.org/coar/access_right/c_abf2 | |
| unsw.description.publisherStatement | Theoretical Computer Science is available via: http://www.sciencedirect.com/science/journal/03043975 | en_US |
| unsw.identifier.doiPublisher | http://dx.doi.org/10.1016/j.tcs.2005.11.035 | 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 |
| unsw.relation.school | School of Computer Science and Engineering | * |
Files
Original bundle
1 - 1 of 1