• Citer

General parameterised refinement and recursion for the M-net calculus

par Devillers, Raymond ;Klaudel, Hanna;Riemann, Robert-C.
Référence Theoretical computer science, 300, 1-3, page (259-300)
Publication Publié, 2003-05

Article révisé par les pairs

• Détails
• Contenu

Titre:	General parameterised refinement and recursion for the M-net calculus
Auteur:	Devillers, Raymond; Klaudel, Hanna; Riemann, Robert-C.
Informations sur la publication:	Theoretical computer science, 300, 1-3, page (259-300)
Statut de publication:	Publié, 2003-05
Sujet CREF:	Informatique générale
	Informatique mathématique
Mots-clés:	M-net
	Petri box
	Petri net
	Recursion
	Refinement
Note générale:	SCOPUS: ar.j
Langue:	Anglais
Identificateurs:	urn:issn:0304-3975
	info:doi/10.1016/S0304-3975(02)00088-9
	info:pii/S0304397502000889
	info:scp/0037738880