Email Record: Interprocess communication in the process specification language /