Functional and performance analysis of cooperating sequential processes | Publicación