@misc{indiciae615731772a8f,
  title = {Communicating Actor Automata -- Modelling Erlang Processes as Communicating Machines},
  author = {Dominic Orchard and Mihail Munteanu and Paulo Torrens},
  year = {2023},
  doi = {10.4204/eptcs.378.4},
  url = {https://arxiv.org/abs/2304.06395},
  note = {Source identifier: 2304.06395}
}