A calculus of communicating systems with label passing - ten years after