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