Text this: Truly concurrent process algebra with localities /