This project is read-only.


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

  • 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

Last edited Apr 20, 2013 at 11:14 AM by bgr25, version 4