Packet delivery in wireless routing under justness

Establish whether packet delivery (eventual delivery from source to destination) holds for specific wireless mesh routing protocols under a global justness assumption without adopting full fairness.

Background

The paper shows that fairness can make packet delivery trivially true in unrealistic models, while progress alone is insufficient due to unrelated activity preventing delivery. Under justness, delivery claims should align with realistic conditions (e.g., connectivity and stability) and require rigorous proofs or counterexamples for concrete protocols.

References

Open Problem Establishing packet delivery for suitable routing protocols for wireless networks.

— Ensuring Liveness Properties of Distributed Systems: Open Problems  (1912.05616 - Glabbeek, 2019) in Task “Applications”, Section “A research agenda”