|
Search the dblp DataBase
Paulien de Wind:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. [Citation Graph (0, 0)][DBLP] FCT, 2003, pp:412-422 [Conf]
- Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. [Citation Graph (0, 0)][DBLP] FMCO, 2005, pp:195-218 [Conf]
- Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
Divide and Congruence Applied to eta-Bisimulation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:97-113 [Journal]
- Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
Compositionality of Hennessy-Milner logic by structural operational semantics. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:354, n:3, pp:421-440 [Journal]
Search in 0.001secs, Finished in 0.001secs
|