Lukas Bartl

Analysing and Comparing Encodability Criteria for Process Calculi

by Kirstin Peters, Rob van Glabbeek, Lukas Bartl and Cinzia Di Giusto