프로세스 계산(또는 프로세스 대수)은 동시 시스템을 공식적으로 모델링하기 위한 다양한 관련 접근 방식입니다.
다음 20페이지는 총 20페이지 중 이 범주에 속합니다.이 목록은 최근 변경 사항을 반영하지 않을 수 있습니다.