New Results - Symbolic algorithms for the distributed diagnosis of concurrent systems