DocumentCode
2867236
Title
Event Calculus for Reasoning about Erlang Systems
Author
Hernandez, M.
Author_Institution
Inst. de Comput., Univ. Tecnol. de la Mixteca, Huajuapan de Leon, Mexico
fYear
2011
fDate
Nov. 26 2011-Dec. 4 2011
Firstpage
29
Lastpage
35
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Artificial Intelligence (MICAI), 2011 10th Mexican International Conference on
Conference_Location
Puebla
Print_ISBN
978-1-4577-2173-1
Type
conf
DOI
10.1109/MICAI.2011.19
Filename
6118986
Link To Document