23-26 sept. 2014 Nancy (France)
Jeudi 25
Contributions

› 10:15 - 10:40 (25min)
Parametrized Automata Simulation and Application to Service Composition
Walid Belkhir  1, *, @  , Yannick Chevalier  2, *, @  , Michael Rusinowitch  3, *, @  
1 : Centre Nancy Grand Est
INRIA
2 : IRIT
Université Paul Sabatier - Toulouse III
3 : Center Nancy Grand Est
INRIA
* : Auteur correspondant
Type : : Communication orale
Thématiques : Contributions
Mots-Clés : automata ; simulation preorder ; service synthesis ; infinite alphabet
PDF version :  PDF version
Personnes connectées : 1