883 followers
RT @valeriadepaiva: I had missed this "The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Pri…
RT @valeriadepaiva: I had missed this "The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Pri…
I had missed this "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 https://t.co/hoiDVwTzdh Belated congrats Catuscia! (1