1 paper · 1 filter
Federica Panella, Matteo Pradella, Dino Mandrioli +1
ω-languages are becoming more and more relevant nowadays when most applications are 'ever-running'. Recent literature, mainly under the motivation of widening the application of mo…