Skip to Main content Skip to Navigation
Journal articles

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

Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01191566
Contributor : Yves Dumond <>
Submitted on : Wednesday, September 2, 2015 - 10:18:13 AM
Last modification on : Friday, November 6, 2020 - 3:35:01 AM

Identifiers

  • HAL Id : hal-01191566, version 1

Collections

Citation

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, Elsevier, 2000, 107, pp.209-215. ⟨hal-01191566⟩

Share

Metrics

Record views

97