Modal interfaces: unifying interface automata and modal specifications.

Jean-Baptiste Raclet, ric Badouel, Albert Benveniste, Benot Caillaud, Axel Legay, Roberto Passerone

Browse the full EMSOFT paper archive.