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é:   
Reachability In Vector Addition with States and Split/Join Transitions
du groupe Modélisation et Verification

Date 2014-11-06  11:00-12:00
TitreReachability In Vector Addition with States and Split/Join Transitions 
RésuméWe define Vector Addition with States and Split/Join Transitions, a new model that extends VASS. Non-negative reachability in this model without join transitions is known to be equivalent to the decidability of MELL, and to be TOWER-hard. As a first step towards a reachability result, we define a suitable notion of covering graph for the model, and prove its finiteness and effective constructibility. 
Lieu076 
OrateurPaulin de Naurois 
EmailPaulin.Jacobedenaurois@lipn.univ-paris13.fr 
UrlLIPN 



Aucun document lié à cet événement.

Retour
Retour à l'index