Formal Coordination of Communicating Entities described with Behavioural Interfaces - Archive ouverte HAL
Autre Publication Scientifique Année : 2005

Formal Coordination of Communicating Entities described with Behavioural Interfaces

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00342161 , version 1

Citer

Pascal Poizat, Gwen Salaün. Formal Coordination of Communicating Entities described with Behavioural Interfaces. 2005. ⟨hal-00342161⟩
51 Consultations
0 Téléchargements

Partager

More