Compositional Methods for Information-Hiding.

Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi

Browse the full FOSSACS paper archive.