Event structure semantics of parallel extrusion in the pi-calculus.