Towards a unified approach to encodability and separation results for process calculi
scientific article; zbMATH DE number 5796742
scientific article