pi-calculus에서 신뢰할 수있는 방송을 모델링 할 수 있습니까? 그렇다면 : 어떻게? 그렇지 않은 경우 : 비슷한 프로세스 대수학이 있습니까? 내가 시도한 것 : 발신자 가 모든 P 1 ~ P n에 메시지 y 를 보내 려면 ! ( ¯ x y )라고 쓸 수 있습니다. S 와 x ( z …
Robin Milner 는 전기 를 그래프와 같은 구조를 가지지 만 노드가 중첩 될 수있는 그래픽 구조 유형으로 정의 했습니다 . 그들은 CCS 등 공정 결석 일반화 -calculus,하지만 밀 너는 그들에게 훨씬 더 일반적으로 사용하기위한 것으로 보인다 다음 세미나 노트를 곧 그의 죽음의 세부 최근 개발하기 전에.ππ\pi Milner의 2009 교과서 The …
저의 배경은 복잡도 이론 / 논리 (대부분의 프로세스가 하나만있는 경우)와 분산 컴퓨팅 ( 프로세스가 있고 시간이 지남에 따라 하나 이상의 오류가 발생할 수 있음)입니다. 그러나 이제는 프로세스 생성 / 생성 / 다른 프로세스 분리에 대해 이야기하고 싶습니다. 병렬 컴퓨팅, 운영 체제 등에서이를 설명하는 엄격한 방법이 있습니까?엔nn 자극: 분자 상호 작용의 …
한동안 나는 언어 이론과 프로세스 계산법에 관심이 많았고 그것들을 연구하기 시작했다. 솔직히 말해서, 나는 경력을 쌓기 위해 신경 쓰지 않을 것입니다. 나는 이론이 엄청나게 매력적이라는 것을 안다. 내가 계속 겪고있는 한 가지 질문은 PL 이론이나 프로세스 Calculi가 현대 프로그래밍 언어 개발에서 전혀 중요하지 않은지입니다. Pi-calculus에 많은 변형이 있고 활발한 연구가 …