«process-algebra» 태그된 질문


1
밀 너의 전기의 역사적 뿌리는 무엇입니까?
Robin Milner 는 전기 를 그래프와 같은 구조를 가지지 만 노드가 중첩 될 수있는 그래픽 구조 유형으로 정의 했습니다 . 그들은 CCS 등 공정 결석 일반화 -calculus,하지만 밀 너는 그들에게 훨씬 더 일반적으로 사용하기위한 것으로 보인다 다음 세미나 노트를 곧 그의 죽음의 세부 최근 개발하기 전에.ππ\pi Milner의 2009 교과서 The …

2
프로세스가 다른 프로세스를 생성 할 때
저의 배경은 복잡도 이론 / 논리 (대부분의 프로세스가 하나만있는 경우)와 분산 컴퓨팅 ( 프로세스가 있고 시간이 지남에 따라 하나 이상의 오류가 발생할 수 있음)입니다. 그러나 이제는 프로세스 생성 / 생성 / 다른 프로세스 분리에 대해 이야기하고 싶습니다. 병렬 컴퓨팅, 운영 체제 등에서이를 설명하는 엄격한 방법이 있습니까?엔nn 자극: 분자 상호 작용의 …

5
최신 프로그래밍 언어 개발을위한 프로세스 계산 및 PL 이론 사용
한동안 나는 언어 이론과 프로세스 계산법에 관심이 많았고 그것들을 연구하기 시작했다. 솔직히 말해서, 나는 경력을 쌓기 위해 신경 쓰지 않을 것입니다. 나는 이론이 엄청나게 매력적이라는 것을 안다. 내가 계속 겪고있는 한 가지 질문은 PL 이론이나 프로세스 Calculi가 현대 프로그래밍 언어 개발에서 전혀 중요하지 않은지입니다. Pi-calculus에 많은 변형이 있고 활발한 연구가 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.