• Citer

Synthesis of Data Word Transducers

par Exibard, Leo ;Filiot, Emmanuel ;Reynier, Pierre-Alain
Editeur scientifique Fokkink, Wan;Van Glabbeek, Rob J.
Référence International Conference on Concurrency Theory(30: August 26-31: Amsterdam), 30th International Conference on Concurrency Theory, CONCUR 2019, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Publication A Paraître, 2019-08-31

Publication dans des actes

• Accès en ligne
• Détails
• Contenu
• Statistiques

Titre:	Synthesis of Data Word Transducers
Auteur:	Exibard, Leo; Filiot, Emmanuel; Reynier, Pierre-Alain
Editeur scientifique:	Fokkink, Wan; Van Glabbeek, Rob J.
Informations sur la publication:	International Conference on Concurrency Theory(30: August 26-31: Amsterdam), 30th International Conference on Concurrency Theory, CONCUR 2019, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Statut de publication:	A Paraître, 2019-08-31
series:	LIPICS
Sujet CREF:	Sciences exactes et naturelles
Mots-clés:	register automata
	synthesis
	data words
	transducers
Note générale:	CONCUR 2019
Langue:	Anglais