.:. Browse > By authors > Ameur-Boulifa .:.

2 documents ordered by : Date Title first author name document type Submit date

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]