«process-algebras» 태그된 질문

내가 아는 한 공식적인 동시성 모델에 대한 광범위한 연구에 영감을 준 세 가지 주요 대수학이 있습니다. 이것들은: Robin Milner의 CCS 및 -calculusππ\pi Tony Hoare의 CSP Jan Bergstra와 Jan Willem Klop의 ACP 이 세 가지 모두 오늘날까지 매우 활발한 관심을 기울이고 있으며 이들에 대한 방대한 양의 연구가 이루어졌습니다. 이러한 접근 방식의 …

21 logic  concurrency  process-algebras 

레이블이 지정된 전이 시스템 주어지면 , 여기서 는 상태 세트이고 는 레이블 세트이며 는 삼항 관계입니다. 평소와 같이 를 쓰십시오 . 레이블이 지정된 전환 는 상태 p 의 시스템 이 레이블 \ alpha를 사용 하여 상태를 q 로 변경 함을 나타냅니다 . 이는 \ alpha 가 상태 변경을 유발하는 관찰 …

20 programming-languages  formal-methods  semantics  process-algebras 

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

11 logic  concurrency  modelling  process-algebras  ccs