Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines. - Dominic Orchard; Mihail Munteanu; Paulo Torrens (PLACES@ETAPS, 2023)