Title: Linear unary operators in process algebra