@techreport{ameurboulifa:hal-00761073, TITLE = {{Behavioural Semantics for Asynchronous Components}}, AUTHOR = {Ameur-Boulifa, Rab{\'e}a and Henrio, Ludovic and Madelaine, Eric and Savu, Alexandra}, URL = {https://hal.inria.fr/hal-00761073}, TYPE = {Research Report}, NUMBER = {RR-8167}, PAGES = {58}, YEAR = {2012}, MONTH = Dec, KEYWORDS = {Behavioural specification ; software components ; asynchronous communications ; futures}, HAL_ID = {hal-00761073}, HAL_VERSION = {v1}, }