Formalization, implementation and validation of conversation policies using a protocol operational semantics

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00201564
Contributor : Michel Occello <>
Submitted on : Monday, December 31, 2007 - 5:54:26 PM
Last modification on : Monday, April 9, 2018 - 12:22:16 PM

Identifiers

  • HAL Id : hal-00201564, version 1

Collections

UGA | LCIS

Citation

Jean-Luc Koning, Pierre-Yves Oudeyer. Formalization, implementation and validation of conversation policies using a protocol operational semantics. Cognitive System Research, 2003, 4 (3), pp.223-242. ⟨hal-00201564⟩

Share

Metrics

Record views

93