Why Are Modalities Good for Interface Theories?

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, BenoƮt Caillaud, Roberto Passerone. Why Are Modalities Good for Interface Theories?. In Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009. pages 119-127, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.