Providing message delivery guarantees in pipelined flit-buffered multiprocessor networks | IEEE Conference Publication | IEEE Xplore