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