On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study