Axiomatizing net computations and processes