%0 Conference Proceedings
%F Raclet2009a
%A Raclet, Jean-Baptiste
%A Badouel, Eric
%A Benveniste, Albert
%A Caillaud, Benoît
%A Passerone, Roberto
%T Why are modalities good for Interface Theories?
%B Proc. of the 9th International Conference on Application of Concurrency to System Design ({ACSD}'09)
%P 119-127
%S 
%I IEEE Computer Society Press
%U http://www.irisa.fr/s4/download/papers/rbbcp-acsd09.pdf
%U http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.22
%D 2009
%K component