A formalisation of Core Erlang, a concurrent actor language

DOI10.14232/ACTACYB.298977MaRDI QIDQ6602500FDOQ6602500

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

Publication date: 11 September 2024

Published in: Acta Cybernetica (Search for Journal in Brave)

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

zbMATH Keywords

concurrencybisimulationCoqformal semanticsformal verificationprogram equivalenceErlangactor modelCore Erlang

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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)