Unité mixte de recherche Ircam-cnrs


REACT : Robust theories for emerging applications in concurrency theory



Yüklə 1,72 Mb.
səhifə69/312
tarix02.01.2022
ölçüsü1,72 Mb.
#15570
1   ...   65   66   67   68   69   70   71   72   ...   312

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).



Yüklə 1,72 Mb.

Dostları ilə paylaş:
1   ...   65   66   67   68   69   70   71   72   ...   312




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©muhaz.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin