P
Paulien de Wind
Researcher at VU University Amsterdam
Publications - 5
Citations - 121
Paulien de Wind is an academic researcher from VU University Amsterdam. The author has contributed to research in topics: Operational semantics & Modal logic. The author has an hindex of 5, co-authored 5 publications receiving 121 citations.
Papers
More filters
Journal ArticleDOI
Compositionality of Hennessy-Milner logic by structural operational semantics
TL;DR: In this paper, the structural operational semantics of the process algebra is 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.
Journal ArticleDOI
Divide and congruence: From decomposition of modal formulas to preservation of branching and η -bisimilarity
TL;DR: The decomposition uses the structural operational semantics that underlies the process algebra to derive congruence formats for two weak and rooted weak semantics: branching and @h-bisimilarity.
Journal ArticleDOI
Divide and Congruence Applied to η-Bisimulation
TL;DR: Congruence formats for @h- and rooted @ h-bisimulation equivalence are presented, derived using a method for decomposing modal formulas in process algebra.
Book ChapterDOI
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics
TL;DR: An earlier decomposition method from LARSEN for the De Simone format is extended to the more general ntyft/ntyxt format without lookahead, using the structural operational semantics of the process algebra.
Book ChapterDOI
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation
TL;DR: A decomposition method is presented for decomposing modal formulas for processes with the internal action τ to derive congruence formats for branching and rooted branching bisimulation equivalence.