Symbolic Protocol Analysis in Presence of a Homomorphism Operator and

Stphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen

Browse the full ICALP paper archive.