| No. |
Title |
Author |
Year |
| 1 |
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492) |
Attiya, Hagit et al. |
2023 |
| 2 |
Nawrotzki’s Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls) |
Sokolova, Ana et al. |
2021 |
| 3 |
Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls) |
Bonchi, Filippo et al. |
2021 |
| 4 |
Front Matter, Table of Contents, Preface, Conference Organization |
Roggenbach, Markus et al. |
2019 |
| 5 |
LIPIcs, Volume 139, CALCO'19, Complete Volume |
Roggenbach, Markus et al. |
2019 |
| 6 |
Termination in Convex Sets of Distributions |
Sokolova, Ana et al. |
2017 |
| 7 |
The Power of Convex Algebras |
Bonchi, Filippo et al. |
2017 |
| 8 |
Local Linearizability for Concurrent Container-Type Data Structures |
Haas, Andreas et al. |
2016 |
