Péter Bereczky, Dániel Horpácsi, Simon Thompson
A Formalisation of Core Erlang, a Concurrent Actor Language. (arXiv:2311.10482v1 [cs.PL])
http://arxiv.org/abs/2311.10482
20.11.2023 03:00
👍 0
🔁 1
💬 0
📌 0