Communicating Sequential Processes Presentación realizada por : Alberto Calixto Simon Ivan Olmos Pineda.