Formal Method for Scheduling, Routing and Communication Protocol.

Lenore M. R. Mullin, Scott Thibault, Daria R. Dooling, Erik A. Sandberg

Browse the full HPDC paper archive.