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