Bereczky, P., Horpácsi, D. and Thompson, S. 2024. A Formalisation of Core Erlang, a Concurrent Actor Language. Acta Cybernetica. (Mar. 2024). DOI:https://doi.org/10.14232/actacyb.298977.