Modeling and analysis of sequential processes that cooperate through buffers | Publicación