A classification of the expressive power of well-structured transition systems

Référence Information and computation, 209, 3, page (248-279)
Publication Publié, 2011-03

Article révisé par les pairs

Titre:	A classification of the expressive power of well-structured transition systems
Auteur:	Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent
Informations sur la publication:	Information and computation, 209, 3, page (248-279)
Statut de publication:	Publié, 2011-03
Sujet CREF:	Informatique appliquée logiciel
	Informatique générale
	Informatique mathématique
Mots-clés:	Expressiveness
	Language theory
	Well-structured transition systems
Note générale:	SCOPUS: ar.j
Langue:	Anglais
Identificateurs:	urn:issn:0890-5401
	info:doi/10.1016/j.ic.2010.11.003
	info:pii/S0890540110001872
	info:scp/79751535222

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.