Towards a safe and secure synchronous language. (Vers un langage synchrone sûr et securisé)

Pejman Attar. Towards a safe and secure synchronous language. (Vers un langage synchrone sûr et securisé). PhD thesis, University of Nice Sophia Antipolis, France, 2013. [doi]

Abstract

Abstract is missing.