An Implementation of a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs Based on the CSP Model and Java. - Geraldo Pereira de Souza; Gerson Henrique Pfitscher (DS-RT, 2002)