In general, an Actor receiving a message enters its region of mutual exclusion (which can have holes), which is explained here: https://papers.ssrn.com/abstr

In general, an Actor receiving a message enters its region of mutual exclusion (which can have holes), which is explained here: https://papers.ssrn.com/abstract=3459566 https://papers.ssrn.com/abstract=3459566 Is there a rigorous formalization of Erlang message passing?