프로시저들 사이에 어떤 정보를 교환하고, 이들 간의 특별한 제어를 허용할 수 있는 현상은?