Semantics of Interaction Control