8665 articles  [version française]
.:. Browse > By authors > Ameur-Boulifa .:.
2 documents ordered by :

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]