@article{Orchard_2023,
	doi = {10.4204/eptcs.378.4},
	url = {https://doi.org/10.4204%2Feptcs.378.4},
	year = 2023,
	month = {apr},
	publisher = {Open Publishing Association},
	volume = {378},
	pages = {38--48},
	author = {Dominic Orchard and Mihail Munteanu and Paulo Torrens},
	title = {Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines},
	journal = {Electronic Proceedings in Theoretical Computer Science}
}