Translating between models of concurrency. - Mestel, David; Roscoe, A. W. (Acta Informatica, 2020)