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.; Alvim, Mário S.; Chatzikokolakis, Kostas; Chatzikokolakis, Kostas; Olarte, Carlos; Olarte, Carlos; Valencia, Frank; Valencia, Frank (Springer International Publishing : Imprint: Springer, 2019)