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