pith. sign in

Rob van Glabbeek

Identifiers

  • name variant Rob van Glabbeek 0.60 · backfill

Papers (36)

  1. Formally Verified Liveness with Multiparty Session Types in Rocq cs.LO · 2026 · author #3
  2. The Similarity Control Problem with Required Events cs.FL · 2026 · author #3
  3. Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours cs.LO · 2018 · author #2
  4. A Theory of Encodings and Expressiveness cs.LO · 2018 · author #1
  5. Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation cs.LO · 2018 · author #2
  6. On the Validity of Encodings of the Synchronous in the Asynchronous $\pi$-calculus cs.LO · 2018 · author #1
  7. Ensuring Liveness Properties of Distributed Systems (A Research Agenda) cs.LO · 2017 · author #1
  8. Lean and Full Congruence Formats for Recursion cs.LO · 2017 · author #1
  9. A Branching Time Model of CSP cs.LO · 2017 · author #1
  10. An Algebraic Treatment of Recursion cs.LO · 2017 · author #1
  11. MALL proof nets identify proofs modulo rule commutation cs.LO · 2016 · author #1
  12. A Timed Process Algebra for Wireless Networks cs.LO · 2016 · author #2
  13. Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity cs.LO · 2016 · author #2
  14. Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops cs.NI · 2015 · author #1
  15. A Rigorous Analysis of AODV and its Variants cs.NI · 2015 · author #2
  16. Modelling and Verifying the AODV Routing Protocol cs.NI · 2015 · author #1
  17. Automated Analysis of AODV using UPPAAL cs.NI · 2015 · author #2
  18. A Process Algebra for Wireless Mesh Networks cs.LO · 2015 · author #2
  19. Modelling and Analysis of AODV in UPPAAL cs.NI · 2015 · author #2
  20. Proceedings Workshop on Models for Formal Analysis of Real Systems cs.LO · 2015 · author #1
  21. Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP cs.LO · 2015 · author #1
  22. Analysing and Comparing Encodability Criteria cs.LO · 2015 · author #2
  23. CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions cs.LO · 2015 · author #1
  24. Progress, Fairness and Justness in Process Algebra cs.LO · 2015 · author #1
  25. A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV cs.NI · 2013 · author #2
  26. On Distributability of Petri Nets cs.LO · 2012 · author #1
  27. Abstract Processes of Place/Transition Systems cs.LO · 2011 · author #1
  28. The Coarsest Precongruences Respecting Safety and Liveness Properties cs.LO · 2010 · author #1
  29. On CSP and the Algebraic Theory of Effects cs.LO · 2010 · author #1
  30. Characterising Probabilistic Processes Logically cs.LO · 2010 · author #2
  31. Computation Tree Logic with Deadlock Detection cs.LO · 2009 · author #1
  32. On Synchronous and Asynchronous Interaction in Distributed Systems cs.LO · 2008 · author #1
  33. Symmetric and Asymmetric Asynchronous Interaction cs.LO · 2008 · author #1
  34. Branching Bisimilarity with Explicit Divergence cs.LO · 2008 · author #1
  35. On Finite Bases for Weak Semantics: Failures versus Impossible Futures cs.LO · 2008 · author #3
  36. Characterising Testing Preorders for Finite Probabilistic Processes cs.LO · 2008 · author #3

Mentions

  • 2605.23633 #3 · arxiv_oai · confidence 0.70 Rob van Glabbeek
  • 1207.3597 #1 · backfill · confidence 0.70 Rob van Glabbeek
  • 1103.5916 #1 · backfill · confidence 0.70 Rob van Glabbeek
  • 1007.5491 #1 · backfill · confidence 0.70 Rob van Glabbeek
  • 1007.5488 #1 · backfill · confidence 0.70 Rob van Glabbeek
  • 1007.5188 #2 · backfill · confidence 0.70 Rob van Glabbeek
  • 0912.2109 #1 · backfill · confidence 0.70 Rob van Glabbeek
  • 0901.0048 #1 · backfill · confidence 0.70 Rob van Glabbeek
  • 0901.0043 #1 · backfill · confidence 0.70 Rob van Glabbeek
  • 0812.3068 #1 · backfill · confidence 0.70 Rob van Glabbeek
  • 0810.4904 #3 · backfill · confidence 0.70 Rob van Glabbeek
  • 0810.3708 #3 · backfill · confidence 0.70 Rob van Glabbeek

Frequent Coauthors