Email Record: Truly concurrent process algebra with localities /