Behavioural semantics for asynchronous components. - Rabéa Ameur-Boulifa; Ludovic Henrio; Oleksandra Kulankhina; Eric Madelaine; A. Savu (J. Log. Algebraic Methods Program., 2017)