Rob van Glabbeek

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Distributed Systems & Hardware (1)

Frequent co-authors

Daniele Gorla (1)Myrthe Spronck (1)

Papers (1)

Jun 17, 2026

3w ago·also TU Eindhoven

On the Notions of Bounded Bypass, and How to Make any Deadlock-Free MUTEX Protocol Satisfy One of Them

Bounded bypass can be achieved in any deadlock-free MUTEX protocol with a quadratic improvement, reshaping our understanding of liveness properties in concurrent systems.

Rob van Glabbeek, Daniele Gorla, Myrthe Spronck

Distributed Systems & Hardware

Search

Rob van Glabbeek

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)