A visual approach to specifying message-passing operations | IEEE Conference Publication | IEEE Xplore