Towards the specification of recursive multi-agent systems using type theory - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

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

Fichier non déposé

Dates et versions

hal-00395169 , version 1 (15-06-2009)

Identifiants

  • HAL Id : hal-00395169 , version 1

Citer

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⟩

Collections

UGA LCIS
32 Consultations
0 Téléchargements

Partager

More