커뮤니케이팅 시퀜셜 프로세스

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

커뮤니케이팅 시퀜셜 프로세스(Communicating Sequential Processes, CSP)는 병행 시스템에서 상호작용패턴을 기술하기 위해 고안된 형식 언어이다. 프로세스 대수 혹은 프로세스 계산이라 불리는 병행성 관련 수학논리의 한 종류이다.

CSP는 1978년 앤터니 호어가 최초로 고안하여, 이후 계속해서 개량되어왔다. CSP는 여러가지 시스템을 병행성의 관점에서 기술하여 검증을 하기 위한 도구로 산업계에서 이용되고 있다.