On distributed languages and models for concurrency