Static checking of interprocess communication in ECSP