Coarse Abstractions Make Zeno Behaviours Difficult to Detect.

Frdric Herbreteau, B. Srivathsan

Browse the full CONCUR paper archive.