Why are modalities good for Interface Theories?

Stringa bibliografica 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. Atti di: ACSD09, Augsburg, Germany, 1st-3rd July 2009. - DOI: 10.1109/ACSD.2009.22

Dettaglio