Computation and Language, Computer Science Unfolding Non-Sequential Semantics in Occurrence Nets December 27, 2023