research
∙
04/27/2022
Fairness and promptness in Muller formulas
In this paper we consider two different views of the model checking prob...
research
∙
07/16/2020
Process, Systems and Tests: Three Layers in Concurrent Computation
In this position paper, we would like to offer a new template to study p...
research
∙
06/26/2018