A Decidable Characterization of a Graphical Pi-calculus with Iterators: 12th International Workshop on Verification of Infinite-State Systems (Infinity’10)

;Klaudel, Hanna ;Peschanski, Frédéric
Référence Electronic proceedings in theoretical computer science, 39, page (47-61)
Publication Publié, 2010

Article révisé par les pairs

Titre:	A Decidable Characterization of a Graphical Pi-calculus with Iterators: 12th International Workshop on Verification of Infinite-State Systems (Infinity’10)
Auteur:	Devillers, Raymond; Klaudel, Hanna; Peschanski, Frédéric
Informations sur la publication:	Electronic proceedings in theoretical computer science, 39, page (47-61)
Statut de publication:	Publié, 2010
Sujet CREF:	Informatique mathématique
Mots-clés:	pi-calculus, pi-graphs, iteration, decidability
Langue:	Anglais
Identificateurs:	urn:issn:2075-2180
	info:doi/10.4204/EPTCS.39.4

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.