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