Epsilon

Epsilon is a provably secure programming language based on the syntax of Erlang

Features

• Utilises the decentralised label model developed for Jif
• Multi-threaded
• Provably secure

This language has been created as part of my PhD research. Once published, the accompanying thesis will be made available containing a full description of the implementation together with the syntax for Epsilon.

See the ReadMe.txt file for more information