Data flow analysis of communicating processes | Synapse