Modelagem de sistema computacional multi-processado (http://www.ic.unicamp.br/~rodolfo/mc723/)