Distributed explicit fair cycle detection (set based approach (0)

by I Černá, R Pelánek
Venue:Model Checking Software. 10th International SPIN Workshop