Michiel C. van Wezel;Gerard Tel
-;-
Distributed termination detection for dynamic systems
Parallel Computing