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