Communicating sequential processes Packages