Compositionality of Hennessy-Milner logic through structural operational semantics (2003)
Cached
Download Links
- [www.few.vu.nl]
- [www.cs.vu.nl]
- [boole.stanford.edu]
- [www.cse.unsw.edu.au]
- [homepages.cwi.nl]
- [www.cse.unsw.edu.au]
- [kilby.stanford.edu]
- [boole.stanford.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | Huang and M. E. Glicksman, Acta Met |
| Citations: | 7 - 1 self |
BibTeX
@INPROCEEDINGS{Fokkink03compositionalityof,
author = {Wan Fokkink and Rob Van Glabbeek and Paulien De Wind},
title = {Compositionality of Hennessy-Milner logic through structural operational semantics},
booktitle = {Huang and M. E. Glicksman, Acta Met},
year = {2003},
pages = {412--422},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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. 1
