Paulien de Wind

According to our database, Paulien de Wind authored at least 5 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity.

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind

Inf. Comput., 2012

2006

Compositionality of Hennessy-Milner logic by structural operational semantics.

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind

Theor. Comput. Sci., 2006

2005

Divide and Congruence Applied to <i>eta</i>-Bisimulation.

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation.

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2003

Compositionality of Hennessy-Milner Logic through Structural Operational Semantics.

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind

Proceedings of the Fundamentals of Computation Theory, 14th International Symposium, 2003