Sistemas concurrentes y distribuidos: guía docente