| No. |
Title |
Author |
Year |
| 1 |
CONCUR Test-Of-Time Award 2021 (Invited Paper) |
Bertrand, Nathalie et al. |
2021 |
| 2 |
Enabling Preserving Bisimulation Equivalence |
van Glabbeek, Rob et al. |
2021 |
| 3 |
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs |
van Glabbeek, Rob |
2020 |
| 4 |
Front Matter, Table of Contents, Preface, Conference Organization |
Fokkink, Wan et al. |
2019 |
| 5 |
LIPIcs, Volume 140, CONCUR'19, Complete Volume |
Fokkink, Wan et al. |
2019 |
| 6 |
Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk) |
van Glabbeek, Rob |
2018 |
| 7 |
Divide and Congruence III: Stability & Divergence |
Fokkink, Wan et al. |
2017 |
| 8 |
Precongruence Formats with Lookahead through Modal Decomposition |
Fokkink, Wan et al. |
2017 |
