\Sigma\Pi-polycategories, additive linear logic, and process semantics