Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday - Aceto, Luca.; Bacci, Giorgio.; Bacci, Giovanni.; Ingólfsdóttir, Anna.; Legay, Axel.; Mardare, Radu. (Theoretical Computer Science and General Issues ;, 2017)