%0 Conference Proceedings
%F RBBCP-acsd09
%A Raclet, J.-B.
%A Badouel, E.
%A Benveniste, A.
%A Caillaud, B.
%A Passerone, R.
%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 199-127
%I IEEE
%D 2009