|
Descripción
|
|
|---|---|
| In order to formally reason about distributed Erlang systems, it is necessary to have a formal semantics. In a previous paper we have proposed such a semantics for distributed Erlang. However, recent work with a model checker for Erlang revealed that the previous attempt was not good enough. In this paper we present a more accurate semantics includes several modifications and additions to the semantics for distributed Erlang proposed by Claesson and Svensson in 2005, which in turn is an extension to Fredlund's formal single-node semantics for Erlang. The most distinct addition to the previous semantics is the possibility to correctly model disconnected nodes. | |
|
Internacional
|
Si |
|
Nombre congreso
|
2007 ACM SIGPLAN Erlang Workshop |
|
Tipo de participación
|
960 |
|
Lugar del congreso
|
Freiburg, Germany |
|
Revisores
|
Si |
|
ISBN o ISSN
|
978-1-59593-675-2 |
|
DOI
|
|
|
Fecha inicio congreso
|
|
|
Fecha fin congreso
|
|
|
Desde la página
|
|
|
Hasta la página
|
|
|
Título de las actas
|
|