B. van der Zander, E. Wanke, W. Kiess, and B. Scheuermann. Brief announcement: complexity and solution of the send-receive correlation problem. 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, ACM, 2010.