Calculi for concurrent processes