Computers

Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for research tools.

An XSL transformation module for the Inets erlang webserver

A bunch of library like functions for receiving, processing and sending SIP messages, and a couple of small applications that can do various things.