Flow: message in context of service


Many parties, many messages cou

(See paper trail, pi calculus)