| |
| 2006 | ||
|---|---|---|
| 4 | EE | Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Divide and Congruence Applied to eta-Bisimulation. Electr. Notes Theor. Comput. Sci. 156(1): 97-113 (2006) |
| 3 | EE | Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Compositionality of Hennessy-Milner logic by structural operational semantics. Theor. Comput. Sci. 354(3): 421-440 (2006) |
| 2005 | ||
| 2 | EE | Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. FMCO 2005: 195-218 |
| 2003 | ||
| 1 | EE | Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. FCT 2003: 412-422 |
| 1 | Wan Fokkink | [1] [2] [3] [4] |
| 2 | Rob J. van Glabbeek | [1] [2] [3] [4] |