Проверка распределенных программ
04-04-2008
Verification of
Distributed Erlang Programs using Testing, Model Checking and Theorem
Proving
Докторская работа Ханса Свенссона
Erlang по-русски
На сайте
вики (перевод документации)форум
Группы и рассылки
Эрланг в России (Google groups)Эрланг в России (рассылка)