23-26 Sep 2014 Nancy (France)
Thursday 25
Contributed talks

› 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
* : Corresponding author
Subject : : Oral communication
Topics : Contributed talks
Keywords : automata ; simulation preorder ; service synthesis ; infinite alphabet
PDF version :  PDF version
Online user: 1