Communicating Actor Automata -- Modelling Erlang Processes as Communicating Machines

Dominic Orchard, Mihail Munteanu, Paulo Torrens

Brand and Zafiropulo's notion of Communicating Finite-State Machines (CFSMs) provides a succinct and powerful model of message-passing concurrency, based around channels. However,…