Towards a formalisation of Erlang failure and failure detection
Audrianne Farrugia, Adrian Francalanza · OAR@UM (University of Malta) · 2012
This paper discusses preliminary investigations on the be-haviour of the error handling mechanisms in Erlang, a par-allel language which is renowned for its fault tolerant ca-pabilities. A formal model is defined in order to provide a precise and unambiguous description of the behaviour of these mechanisms. The correctness of the model is evaluated by considering a simple Erlang program and comparing the behaviour as described by the formal semantics with that of actual Erlang. 1.