Browsing by Subject Recursive functions -- Data processing
Showing results 1 to 4 of 4
Issue Date | Title | Author(s) |
2019-01 | Adventures in monitorability : from branching to linear time and back again | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
2020 | The complexity of identifying characteristic formulae | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna |
2021 | On bidirectional runtime enforcement | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna |
2019 | Testing equivalence vs. runtime monitoring | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |