Towards the specification of recursive multi-agent systems using type theory

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00395169
Contributor : Michel Occello <>
Submitted on : Monday, June 15, 2009 - 10:40:14 AM
Last modification on : Monday, April 9, 2018 - 12:22:18 PM

Identifiers

  • HAL Id : hal-00395169, version 1

Collections

UGA | LCIS

Citation

Thi Thanh Ha Hoang, Michel Occello. Towards the specification of recursive multi-agent systems using type theory. IEEE / ACM International Conferences on Intelligent Agent Technology (IAT'09), 2009, Milan, Italy. ⟨hal-00395169⟩

Share

Metrics

Record views

42