Rob van Glabbeek

Best Publications

• Branching time and abstraction in bisimulation semantics

  Rob J. van Glabbeek;W. Peter Weijland

  1196
  Citations

• The Linear Time - Branching Time Spectrum II

  Rob J. van Glabbeek

  751
  Citations

• Petri net models for algebraic theories of concurrency

  Rob J. van Glabbeek;Frits W. Vaandrager

  425
  Citations

• The Linear Time - Branching Time Spectrum I.

  Rob J. van Glabbeek

  386
  Citations

• The Linear Time-Branching Time Spectrum (Extended Abstract)

  Rob J. van Glabbeek

  360
  Citations

• Equivalence notions for concurrent systems and refinement of actions

  Rob van Glabbeek;Ursula Goltz

  313
  Citations

• Refinement of actions and equivalence notions for concurrent systems

  Rob van Glabbeek;Ursula Goltz

  299
  Citations

• Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract).

  Rob J. van Glabbeek;W. P. Weijland

  204
  Citations

• Proof nets for unit-free multiplicative-additive linear logic

  Dominic J. D. Hughes;Rob J. Van Glabbeek

  146
  Citations

• Bounded nondeterminism and the approximation induction principle in process algebra

  Rob J. van Glabbeek

  141
  Citations

• Method and apparatus for permissions based active document workflow

  David G. Stork;Robert Jan van Glabbeek;Stephen Savitzky

  127
  Citations

• Characterising Testing Preorders for Finite Probabilistic Processes

  Yuxin Deng;Robert van Glabbeek;Matthew Hennessy;Carroll Morgan

  121
  Citations

• Ntyft/ntyxt Rules Reduce to Ntree Rules

  Wan Fokkink;Rob van Glabbeek

  97
  Citations

• A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours

  Rob J. van Glabbeek

  95
  Citations

• A process algebra for wireless mesh networks

  Ansgar Fehnker;Rob van Glabbeek;Peter Höfner;Annabelle McIver

  93
  Citations

• Automated analysis of AODV using UPPAAL

  Ansgar Fehnker;Rob van Glabbeek;Peter Höfner;Annabelle McIver

  93
  Citations

• Branching Bisimilarity with Explicit Divergence

  Rob van Glabbeek;Bas Luttik;Nikola Trčka

  93
  Citations

• Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract)

  Rob J. van Glabbeek;Ursula Goltz

  92
  Citations

• Testing Finitary Probabilistic Processes

  Yuxin Deng;Rob Glabbeek;Matthew Hennessy;Carroll Morgan

  90
  Citations

• Characterising Testing Preorders for Finite Probabilistic Processes

  Yuxin Deng;Matthew Hennessy;Rob van Glabbeek;Carroll Morgan

  89
  Citations