A formalisation of Core Erlang, a concurrent actor language

DOI10.14232/ACTACYB.298977MaRDI QIDQ6602500FDO

Authors Péter Bereczky, Dániel Horpácsi, Simon Thompson

Publication date 11 September 2024

Published in Acta Cybernetica (Search for Journal in Brave)

zbMATH Keywords

concurrencybisimulationCoqformal semanticsformal verificationprogram equivalenceErlangactor modelCore Erlang

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A proof assistant based formalisation of a subset of sequential core Erlang
• Abstraction and model checking of core Erlang programs in Maude
• Program equivalence in an untyped, call-by-value functional language with uncurried functions
• Equational abstractions for model checking Erlang programs
• Actor languages. Their syntax, semantics, translation, and equivalence

Cited in

(2)

• Program equivalence in an untyped, call-by-value functional language with uncurried functions
• Playing with bisimulation in Erlang

This page was built for publication: A formalisation of Core Erlang, a concurrent actor language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602500)