| No. |
Title |
Author |
Year |
| 1 |
Processes Parametrised by an Algebraic Theory |
Schmid, Todd et al. |
2022 |
| 2 |
A Big Step from Finite to Infinite Computations (SCICO Journal-first) |
Ancona, Davide et al. |
2020 |
| 3 |
Expressive Logics for Coinductive Predicates |
Kupke, Clemens et al. |
2020 |
| 4 |
Partially Observable Concurrent Kleene Algebra |
Wagemaker, Jana et al. |
2020 |
| 5 |
Preservation of Equations by Monoidal Monads |
Parlant, Louis et al. |
2020 |
| 6 |
Separation and Renaming in Nominal Sets |
Moerman, Joshua et al. |
2020 |
| 7 |
Kleene Algebra with Observations |
Kappé, Tobias et al. |
2019 |
| 8 |
Tree Automata as Algebras: Minimisation and Determinisation |
van Heerdt, Gerco et al. |
2019 |
| 9 |
Monoidal Company for Accessible Functors |
Basold, Henning et al. |
2017 |
| 10 |
Lax Bialgebras and Up-To Techniques for Weak Bisimulations |
Bonchi, Filippo et al. |
2015 |
