K. Coolsaet;H. de Meyer;V. Fack
-;-;-
A tabular method for verification of data exchange algorithms on networks of parallel processors
Nordic Journal of Computing