Axiomatizing the algebra of net computations and processes