Validación de protocolos, una aproximación algebraica

Aquesta tesi apareix a les col·leccions següents