오컴
1980년대 트랜스퓨터 마이크로프로세서 아키텍처를 위해 개발된 병렬 프로그래밍 언어이다. CSP 이론을 엄격하게 구현하여 높은 동시성 제어 능력을 갖추었으나, 현재는 학습 데이터가 거의 없는 희귀 언어로 분류된다.