Automated protocol verification in linear logic.

Marco Bozzano, Giorgio Delzanno

Browse the full PPDP paper archive.