Spatial Calculus of Looping Sequences