Formal Method for Scheduling, Routing and Communication Protocol

Lenore M. R. Mullin, Scott Thibault, Daria R. Dooling, Erik A. Sandberg. Formal Method for Scheduling, Routing and Communication Protocol. In HPDC. pages 234-242, 1993.

Abstract

Abstract is missing.