An Operational Semantics for Concurrent TTCN