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

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

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

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