• Citer

Recursive nets in the box algebra: p 239-249

par Devillers, Raymond ;Koutny, Maciej
Référence Application of Concurrency to System Design, Proceedings of the International conference on, IEEE, Fukushima, page (295)
Publication Publié, 1998-03

Partie d'ouvrage collectif

• Détails
• Contenu

Titre:	Recursive nets in the box algebra: p 239-249
Auteur:	Devillers, Raymond; Koutny, Maciej
Informations sur la publication:	Application of Concurrency to System Design, Proceedings of the International conference on, IEEE, Fukushima, page (295)
Statut de publication:	Publié, 1998-03
Sujet CREF:	Informatique mathématique
Mots-clés:	Petri nets, computability, equations, process algebra, recursive functions
Langue:	Anglais
Identificateurs:	urn:isbn:0-8186-8350-3
	info:doi/10.1109/CSD.1998.657555