An Algebraic Process Calculus