Marco Bozzano Giorgio Delzanno Automated protocol verification in linear logic. 38-49 2002 conf/ppdp/2002 PPDP http://doi.acm.org/10.1145/571157.571162 db/conf/ppdp/ppdp2002.html#BozzanoD02