The topos of continuous trees as a model for distributed calculi