Information Flow in Interactive Systems.

Mrio S. Alvim, Miguel E. Andrs, Catuscia Palamidessi

Browse the full CONCUR paper archive.