A Formalisation of Core Erlang, a Concurrent Actor Language.

Péter Bereczky Dániel Horpácsi Simon J. Thompson

Published in: Acta Cybern. (2024)

Keyphrases

programming language
language learning
concurrent programming
formal analysis
representation language
english language
natural language
computational linguistics
real time
special case
general purpose
specification language
formal language