Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs. In Verónica Dahl, Ilkka Niemelä, editors, Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings. Volume 4670 of Lecture Notes in Computer Science, pages 271-285, Springer, 2007. [doi]
Abstract is missing.