Biblio

Export 1 results:
Sort by: Author Keyword Title Type [ Year  (Asc)]
Filters: Author is Rob van Glabbeek  [Clear All Filters]
2019
van Glabbeek, R., U. Goltz, C. Lippert, and S. Mennicke, "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.