Title: An operational semantics for OCCAM