2 두 가지 가격의 음료 디스펜서에 대한 CCS 프로세스 음료 디스펜서 (동전을 삽입하는 사용자가 필요합니다 :) 세 개의 버튼의 다음 보도 한 ˉ D의 차 차 한 잔 요청하는 전자 차 , 커피 저두 요, 그리고 ˉ r은 환불을 요청하는 (즉, 기계가 다시 제공 동전 : ˉ b ). 이 디스펜서는 다음 CCS 프로세스 로 모델링 할 수 있습니다 … 11 logic concurrency modelling process-algebras ccs