| No. |
Title |
Author |
Year |
|---|
| 1 |
On the Axiomatisation of Branching Bisimulation Congruence over CCS |
Aceto, Luca et al. |
2022 |
| 2 |
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? |
Aceto, Luca et al. |
2021 |
| 3 |
The Best a Monitor Can Do |
Aceto, Luca et al. |
2021 |
| 4 |
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum |
Aceto, Luca et al. |
2020 |
| 5 |
Monitoring for Silent Actions |
Aceto, Luca et al. |
2018 |
| 6 |
On Runtime Enforcement via Suppressions |
Aceto, Luca et al. |
2018 |
| 7 |
Rule Formats for Nominal Process Calculi |
Aceto, Luca et al. |
2017 |
