Process Algebra for Parallel and Distributed Processing