1 개요[ | ]
- communicating sequential processes (CSP)
- 커뮤니케이팅 시퀀셜 프로세스, 커뮤니케이팅 시퀜셜 프로세스, 커뮤니케이팅 순차 프로세스, 순차적 프로세스 통신, 순차 프로세스 통신, 통신 순차 프로세스
- 병행성에 관한 프로세스 계산이론의 하나
- 시스템의 상호작용을 기술하는 정형화 언어
- 1978년, 앤터니 호어(Tony Hoare)가 고안했다.
- 여러 시스템들에서 동시성을 명세하거나 검증하기 위한 도구로 사용된다.
- 프로그래밍 언어 Occam에도 영향을 주었다.
- 여러가지 시스템을 병행성의 관점에서 기술하여 검증을 하기 위한 도구로 산업계에서 이용된다.
2 적용 사례[ | ]
3 같이 보기[ | ]
4 참고[ | ]
로그인하시면 댓글을 쓸 수 있습니다.
{{ comment.name }}
{{ comment.created | snstime }}
-
{{comment.page_title}} ―{{comment.name}}