Timing analysis of process graphs with finite communication buffers