Erlang Workshop 2007: Freiburg, Germany

Language

• Ulf Wiger:
  Extended process registry for Erlang. 1-10
  
• Miguel Jimenez, Tobias Lindahl, Konstantinos F. Sagonas:
  A language for specifying type contracts in Erlang and its interaction with success typings. 11-17
  
• László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király:
  Introducing records by refactoring. 18-28
  
• Vincenzo Nicosia:
  Towards hard real-time Erlang. 29-36
  

Semantics and communication

• Hans Svensson, Lars-Åke Fredlund:
  Programming distributed Erlang applications: pitfalls and recipes. 37-42
  
• Hans Svensson, Lars-Åke Fredlund:
  A more accurate semantics for distributed Erlang. 43-54
  
• Qiang Guo, John Derrick:
  Verification of timed Erlang/OTP components using the process algebra mucrl. 55-64
  
• Jan Henry Nystrom:
  Priority messaging made easy. 65-72
  

Applications

• Oscar Hellström:
  Optimising TCP/IP connectivity. 73-84
  
• Corrado Santoro:
  An Erlang framework for autonomous mobile robots. 85-92
  
• Frank Huch:
  Learning programming with Erlang. 93-99