32890 articles – 26186 Notices  [english version]
.:. Consultation > Par auteur > Ameur-Boulifa .:.
3 documents classés par :

fulltext access Behavioural Semantics for Asynchronous Components
Ameur-Boulifa R., Henrio L., Madelaine E., Savu A.
N° RR-8167 (2012) [hal-00761073 - version 1]
fulltext access 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]
fulltext access 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]