• Citer

A Petri Net Semantics of a Simple Process Algebra for Mobility

par Devillers, Raymond ;Klaudel, Hanna;Koutny, Maciej
Référence Electronic Notes in Theoretical Computer Science, 154, 3, page (71-94)
Publication Publié, 2006-07

Article révisé par les pairs

• Détails
• Contenu

Titre:	A Petri Net Semantics of a Simple Process Algebra for Mobility
Auteur:	Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej
Informations sur la publication:	Electronic Notes in Theoretical Computer Science, 154, 3, page (71-94)
Statut de publication:	Publié, 2006-07
Sujet CREF:	Informatique générale
	Informatique mathématique
Mots-clés:	behavioural consistency
	compositional translation
	Klaim
	Mobility
	Petri nets
	process algebra
Note générale:	SCOPUS: ar.j
Langue:	Anglais
Identificateurs:	urn:issn:1571-0661
	info:doi/10.1016/j.entcs.2006.05.008
	info:pii/S1571066106003707
	info:scp/33745818612