Laboratorio de Verificación de Sistemas Concurrentes | Apuntes, ejercicios y exámenes resueltos