Rules for Translating Interaction Protocols into a B Formal Representation - Archive ouverte HAL Access content directly
Conference Papers Year : 2005

Rules for Translating Interaction Protocols into a B Formal Representation

Hind Fadil
  • Function : Author
  • PersonId : 844079
Laboratoire de Conception et d'Intégration des Systèmes
Jean-Luc Koning
Laboratoire de Conception et d'Intégration des Systèmes

Domains

Multiagent Systems [cs.MA]

Michel Occello  : Connect in order to contact the contributor

https://hal.science/hal-00189034

Submitted on : Monday, November 19, 2007-6:23:43 PM

Last modification on : Thursday, April 4, 2024-9:07:31 PM

No file

Dates and versions

hal-00189034 , version 1 (19-11-2007)

Identifiers

  • HAL Id : hal-00189034 , version 1

Cite

Hind Fadil, Jean-Luc Koning. Rules for Translating Interaction Protocols into a B Formal Representation. 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05), Sep 2005, Compiègne, France. pp.495-498. ⟨hal-00189034⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA LCIS
36 View
0 Download

Share

Gmail Facebook X LinkedIn More