Propagating buffer: a new approach to deadlock freedom in store-and-forward networks. - Francis Chi-Moon Lau; S. W. Lau (SPDP, 1991)