On the operational semantics of distributed concurrent systems