Más sobre equivalencias lógicas y distancias entre procesos

Aquesta tesi apareix a les col·leccions següents