| 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 |
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) |
Aceto, Luca et al. |
2020 |
| 5 |
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum |
Aceto, Luca et al. |
2020 |
| 6 |
Monitoring for Silent Actions |
Aceto, Luca et al. |
2018 |
| 7 |
On Runtime Enforcement via Suppressions |
Aceto, Luca et al. |
2018 |
| 8 |
Rule Formats for Nominal Process Calculi |
Aceto, Luca et al. |
2017 |
| 9 |
Front Matter, Table of Contents, Preface, Committees, External Reviewers |
Aceto, Luca et al. |
2015 |
| 10 |
LIPIcs, Volume 42, CONCUR'15, Complete Volume |
Aceto, Luca et al. |
2015 |
