• Citer

Refinement and Recursion in a High Level Petri Box Calculus

par Devillers, Raymond ;Klaudel, Hanna
Editeur scientifique Desel, Jörg
Référence Structures in Concurrency Theory, Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995, Springer-Verlag, London, page (144--159)
Publication Publié, 1995

Partie d'ouvrage collectif

• Détails
• Contenu

Titre:	Refinement and Recursion in a High Level Petri Box Calculus
Auteur:	Devillers, Raymond; Klaudel, Hanna
Editeur scientifique:	Desel, Jörg
Informations sur la publication:	Structures in Concurrency Theory, Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995, Springer-Verlag, London, page (144--159)
Statut de publication:	Publié, 1995
Sujet CREF:	Informatique mathématique
	Informatique générale
Langue:	Anglais
Identificateurs:	urn:isbn:978-3-540-19982-3
	info:doi/10.1007/978-1-4471-3078-9_10