Translating between models of concurrency (Acta Informatica, 2020)

(untitled) - Mestel, D; Roscoe, AW