Projet : EP-ATR

Précédent : Preuves co-inductives de systèmes réactifs Remonter : Résultats nouveaux Suivant : Transformations affines d'horloges

   
Préemption dans les langages réactifs

Participants : Sophie Pinchinat, Éric Rutten.

 

Mots clés : préemption .

Résumé :

Cette étude, menée avec R.K. Shyamasundar, du TIFR à Bombay (Inde), poursuit nos travaux sur un cadre unifié pour la spécification de la sémantique des primitives de préemption dans les langages réactifs.

L'étude sur l'expressivité des opérateurs de préemption, commencée en 1997 dans le cadre d'une coopération avec le Tata Institute of Fondamental Research de Bombay (Inde), s'est poursuivie. Les résultats principaux sont (1) une classification basée sur la syntaxe des différentes familles d'opérateurs de préemption en les opérateurs de suspension et les opérateurs d'interruption, et (2) la preuve d'un pouvoir d'expressivité strictement supérieur des opérateurs de suspension sur les opérateurs d'interruption [[39]].