Translating between models of concurrency - Mestel, D; Roscoe, AW (Acta Informatica, 2020)