Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
The Power of Priority Channel Systems
du groupe Modélisation et Verification

Date 2014-03-13  11:00-12:00
TitreThe Power of Priority Channel Systems 
RésuméWe introduce Priority Channel Systems, a new class of channel systems where messages carry a numeric priority and where higher-priority messages can supersede lower-priority messages preceding them in the fifo communication buffers. The decidability of safety and inevitability properties is shown via the introduction of a priority embedding, a well-quasi-ordering that has not previously been used in well-structured systems. We then show how Priority Channel Systems can compute Fast-Growing functions and prove that the aforementioned verification problems are F_{epsilon_{0}}-complete. Joint work with Christoph Haase and Philippe Schnoebelen. A short version was presented at Concur 2013; see http://arxiv.org/abs/1301.5500 for the full paper. 
Lieu076 
OrateurSylvain Schmitz 
Emailschmitz@lsv.ens-cachan.fr 
UrlLSV 



Aucun document lié à cet événement.

Retour
Retour à l'index