1 paper · 1 filter
Eren Keskin, Roland Meyer, Sören van der Wall
We propose urgency programs, a new programming model with support for alternation, imperfect information, and recursion. The novelty are urgency annotations that decorate the (ange…