As a follow-up of my talk, and in case anyone is interested to read more about the join calculus, you can find a list of papers on the subject here: https://wiki.ccs.neu.edu/display/~vkoutav/join-calculus (login required) --Vassilis