No es fácil depurar programas funcionales perezosos. La razón es que la pereza y los órdenes superiores complican las estrategias básicas de depuración. Aunque existen varios depuradores para lenguajes perezosos secuenciales, lidiar con lenguajes paralelos es mucho más difícil. En este caso, es importante implementar plataformas de depuración para extensiones paralelas, pero también es importante proporcionar fundamentos teóricos para simplificar la tarea de entender el proceso de depuración. En este trabajo, tratamos el proceso de depuración en dos lenguajes paralelos que extienden el lenguaje perezoso Haskell. En particular, proporcionamos una semántica operativa que nos permite razonar sobre nuestra extensión paralela del depurador secuencial Hood. Además, mostramos cómo podemos usarlo para analizar la cantidad de trabajo especulativo realizado por los procesos, de modo que se pueda utilizar para optimizar su uso de recursos.