Erlang 2017- Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang

Full Citation in the ACM Digital Library

SESSION: Technical Report

Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm

Distributed memory architecture for high-level synthesis of embedded controllers from Erlang

eAOP: an aspect oriented programming framework for Erlang

Structuring Erlang BEAM control flow

The shared-memory interferences of Erlang/OTP built-ins

Towards an Isabelle/HOL formalisation of core Erlang

SESSION: Experience Report

Towards change-driven testing