Analysing and Comparing Encodability Criteria for Process Calculi by Kirstin Peters 📧 and Rob van Glabbeek 🌐 Aug 10