The Logic of Communicating Processes

I saw a talk by Professor Robin Cockett last night on the topic of The logic of communicating processes. I've just finished making a post to Lambda the Ultimate about the talk and related papers, so hopefully we'll see some interesting discussion.