Typechecking protocols with Mungo and StMungo.

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay

Browse the full PPDP paper archive.