Title :
Event Calculus for Reasoning about Erlang Systems
Author_Institution :
Inst. de Comput., Univ. Tecnol. de la Mixteca, Huajuapan de Leon, Mexico
fDate :
Nov. 26 2011-Dec. 4 2011
Abstract :
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.
Keywords :
distributed programming; functional languages; functional programming; temporal logic; temporal reasoning; Erlang programs; Erlang system; distributed programming problems; distributed systems; event calculus; functional programming language; logic-based formalism; temporal reasoning concerns; Calculus; Communication channels; Education; Iris; Message passing; Programming; Servers; Erlang; Event calculus; distributed systems;
Conference_Titel :
Artificial Intelligence (MICAI), 2011 10th Mexican International Conference on
Conference_Location :
Puebla
Print_ISBN :
978-1-4577-2173-1
DOI :
10.1109/MICAI.2011.19
