Modelarea Formala a proceselor concurente (SDI2 si HPC1)