Abstract | ||
---|---|---|
We report on the analysis of gen_server, a popular Erlang library to build client-server applications. Our analysis uses a tool based on choreographic models. We discuss how, once the library has been modelled in terms of communicating finite state machines, an automated analysis can be used to detect potential communication errors. The results of our analysis suggest how to properly use gen_server in order to guarantee the absence of communication errors. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/PDP.2016.72 | 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) |
Keywords | Field | DocType |
Actor-model,choreography,verification,tool,Erlang,gen_server,genserver | Programming language,System recovery,Computer science,Parallel computing,Erlang (programming language),Choreography,Finite-state machine,Actor model,Message passing,Distributed computing | Conference |
ISSN | Citations | PageRank |
1066-6192 | 1 | 0.34 |
References | Authors | |
18 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ramsay Taylor | 1 | 38 | 4.11 |
Emilio Tuosto | 2 | 499 | 42.62 |
Neil Walkinshaw | 3 | 345 | 27.27 |
John Derrick | 4 | 170 | 16.67 |