A Calculus of Distributed and Parallel Processes