A Process Algebraic View of Shared Dataspace Coordination