Rob van Glabbeek

Definitive Set Semantics for LTL3

by Rayhana Amjad 🌐, Rob van Glabbeek 🌐 and Liam O’Connor 🌐

Analysing and Comparing Encodability Criteria for Process Calculi

by Kirstin Peters 📧 and Rob van Glabbeek 🌐