2.8.3.2REACT : Robust theories for emerging applications in concurrency theory
Ce projet en deux phases (2007-2009 et 2011-2013) monté avec l’université de Cali et le laboratoire LIX de l’Ecole Polytechnique est financé par le Colciencias Colombien.
Il s’agissait de déployer le calcul formel de processus concurrents dans trois directions : les protocoles de sécurité, la biologie moléculaire et l’interaction en musique et multimédia. L’équipe RepMus s’est impliquée dans à ce troisième volet. Les contributions de l’équipe ont permis de nouvelles implémentations de machines d’éxécutions de NTCC (Non Deterministic Timed Concurrent Constraints), un calcul formel de type CCP développé par l’équipe de Camilo Rueda à Cali, l’implémentation de l’Oracle de facteurs (le modèle formel du logiciel OMax) en NTCC et un prototype d’éxécution dans l’environnement Max (stage de Mauricio Toro).
Dostları ilə paylaş: |
