Event Structure Spans for Nondeterministic Dataflow. - Lucy Saunders-Evans; Glynn Winskel (EXPRESS, 2006)