.gif)
] Filters: Author is Christopher Lippert [Clear All Filters]
"Stronger Validity Criteria for Encoding Synchrony",
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, Cham, Springer International Publishing, 2019.