A partial order view of message-passing communication models