Toninho, B. & Yoshida, N.,
2019,
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., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.).
Springer Verlag,
p. 101-117 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Chapter