A Semantics for the Interaction of Agents with Coordination Artifacts