The art of modelling computational systems a journey from logic and concurrency to security and privacy : essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday - Alvim, Mário S.; Chatzikokolakis, Kostas; Olarte, Carlos; Valencia, Frank (Springer, 2019)