45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020) (Javier Esparza and Daniel Kráľ), volume 170 of Leibniz International Proceedings in Informatics (LIPIcs), pages 35:1-35:14, 2020, Schloss Dagstuhl–Leibniz-Zentrum für Informatik.