Formal Coordination of Communicating Entities described with Behavioural Interfaces

Autre Publication Scientifique Année : 2005

(1) , (2)

1
2

Pascal Poizat

Gwen Salaün

Langage de programmation [cs.PL] Web Génie logiciel [cs.SE] Système multi-agents [cs.MA]

https://hal.science/hal-00342161

Soumis le : mercredi 26 novembre 2008-22:50:59

Dernière modification le : lundi 22 avril 2024-16:24:07

hal-00342161 , version 1 (26-11-2008)

Pascal Poizat, Gwen Salaün. Formal Coordination of Communicating Entities described with Behavioural Interfaces. 2005. ⟨hal-00342161⟩

CNRS UNIV-EVRY IBISC

35 Consultations

0 Téléchargements