Event Calculus for Reasoning about Erlang Systems

The event calculus is a logic-based formalism for dealing with temporal reasoning concerns. Erlang is a functional programming language designed from the ground up for tackling distributed programming problems. In this paper, it is shown that the event calculus is a suitable tool for designing and analyzing distributed systems written as Erlang programs.