Static Checking of Interprocess Communication in ECSP