Rob van Glabbeek

Refinement of actions and equivalence notions for concurrent systems

Rob van Glabbeek, Ursula Goltz · Acta Informatica · 2001 · 244 citations

Engineering, Automated Reasoning, Concurrent Programming +5

Reactive, generative, and stratified models of probabilistic processes

Rob van Glabbeek, Scott A. Smolka, Bernhard Steffen et al. · 2002 · 164 citations · Full text

Engineering, Verification, Structural Operational Semantics +18

Ntyft/ntyxt Rules Reduce to Ntree Rules

Wan Fokkink, Rob van Glabbeek · Information and Computation · 1996 · 80 citations · Full text

Tree Language, Ntyft/ntyxt Rules Reduce, Computational Complexity +2

Branching Bisimilarity with Explicit Divergence

Rob van Glabbeek, Bas Luttik, Nikola Trčka · Fundamenta Informaticae · 2009 · 78 citations

Axiomatizing Prefix Iteration with Silent Steps

Luca Aceto, Rob van Glabbeek, Wan Fokkink et al. · Information and Computation · 1996 · 54 citations · Full text

Engineering, Automated Reasoning, Prefix Iteration +6