author = { Attar, Pejman Nice AND Boussinot, Frédéric AND Castellani, Ilaria },

title = { Vers un langage synchrone sûr et securisé ; Towards a safe and secure synchronous language },

keywords = { Bisimulation , Language , Sémantique formelle , Big-step semantics , Multi-coeur , Synchrone , Reactive , Réactif , Sécurité , Synchronous , Formal semantics , Compilation , Multi-core , Small-step semantics , Type system , Security },

year = {2013-12-12},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }