Why are modalities good for Interface Theories?

Bibliographic citation J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, R. Passerone, "Why are modalities good for Interface Theories?" in Ninth International Conference on Application of Concurrency to System Design: ACSD 2009: Proceedings, Augsburg, Germany: IEEE, 2009, p. 119-127. Proceedings of: ACSD09, Augsburg, Germany, 1st-3rd July 2009. - DOI: 10.1109/ACSD.2009.22

Detail