.:. Consultation > Par auteur > Ameur-Boulifa .:.

3 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Behavioural Semantics for Asynchronous Components Ameur-Boulifa R., Henrio L., Madelaine E., Savu A. N° RR-8167 (2012) [hal-00761073 - version 1]

Verifying Safety of Fault-Tolerant Distributed Components -- Extended Version Ameur-Boulifa R., Halalai R., Henrio L., Madelaine E. N° RR-7717 (2011) [inria-00621264 - version 1]

Behavioural models for group communications Ameur-Boulifa R., Henrio L., Madelaine E. Dans Int. Workshop on Components and Service Interoperability (WCSI) (2010) 15 p. [inria-00493692 - version 1]