Formal specification of a multi-agent system architecture for manufacture: the contribution of the pi-calculus - Archive ouverte HAL
Article Dans Une Revue Journal of Materials Processing Technology Année : 2000

Formal specification of a multi-agent system architecture for manufacture: the contribution of the pi-calculus

Domaines

Informatique [cs]

Yves Dumond  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01191566

Soumis le : mercredi 2 septembre 2015-10:18:13

Dernière modification le : mardi 10 décembre 2024-03:31:57

Fichier non déposé

Dates et versions

hal-01191566 , version 1 (02-09-2015)

Identifiants

  • HAL Id : hal-01191566 , version 1

Citer

Yves Dumond, Christophe Roche. Formal specification of a multi-agent system architecture for manufacture: the contribution of the pi-calculus. Journal of Materials Processing Technology, 2000, 107, pp.209-215. ⟨hal-01191566⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-SAVOIE UGA LISTIC
51 Consultations
0 Téléchargements

Partager

More