Paulien de Wind

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Modal Operators

Decomposition Methods

Top Venues

Publications

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity. Inf. Comput. 214 (2012)
Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
-Bisimulation. Electron. Notes Theor. Comput. Sci. 156 (1) (2006)
Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
Compositionality of Hennessy-Milner logic by structural operational semantics. Theor. Comput. Sci. 354 (3) (2006)
Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. FMCO (2005)
Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. FCT (2003)