Directory: Top/Computers/Programming/Languages/Erlang/Conferences/Proceedings

Development of a Verified Erlang Program for Resource Locking
Thomas Arts and Clara Benac Earle. 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris. (ps)
http://www.erlang.se/publications/clara2.ps
Erlang.se ~ Site Info Whois Trace Route RBL Check

Towards a Deadlock Analysis for Erlang Programs
Richard Carlsson. UU/CSD. (ps.gz)
http://www.erlang.se/publications/xjobb/0108-carlsson.ps.gz
Erlang.se ~ Site Info Whois Trace Route RBL Check

Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network.
Sean Hinde. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/Hinde2001/sld001.htm
Erlang.se ~ Site Info Whois Trace Route RBL Check

Improving Robustness in Distributed Systems.
Per Bergkvist. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/Bergqvist2001/sld001.htm
Erlang.se ~ Site Info Whois Trace Route RBL Check

Tools for Designing Web Based Interfaces for Erlang/OTP.
Martin Gustafsson. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/martin2001/sld001.htm
Erlang.se ~ Site Info Whois Trace Route RBL Check

Erlang in the Corelatus MTP2 Signalling Gateway.
Matthias Läng. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/corelatus2001.pdf
Erlang.se ~ Site Info Whois Trace Route RBL Check

Development of a Verified Erlang Program for Resource Locking
Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)
http://www.erlang.se/euc/01/arts2001/sld001.htm
Erlang.se ~ Site Info Whois Trace Route RBL Check

Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems.
Frank Huch. Proceedings from EUC 2001, Stockholm. (ps.gz)
http://www.erlang.se/euc/01/huch.ps.gz
Erlang.se ~ Site Info Whois Trace Route RBL Check

An Erlang-based Hierarchical Distributed VoD System
Miguel Barreiro, José L. Freire, Víctor M. Gulías, Javier Mosquera and Juan J. Sánchez. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/barreiro2001.pdf
Erlang.se ~ Site Info Whois Trace Route RBL Check

HiPE Version 1.0.
Kostis Sagonas. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/kostis2001/sld001.htm
Erlang.se ~ Site Info Whois Trace Route RBL Check