Robin Milner 는 전기 를 그래프와 같은 구조를 가지지 만 노드가 중첩 될 수있는 그래픽 구조 유형으로 정의 했습니다 . 그들은 CCS 등 공정 결석 일반화 -calculus,하지만 밀 너는 그들에게 훨씬 더 일반적으로 사용하기위한 것으로 보인다 다음 세미나 노트를 곧 그의 죽음의 세부 최근 개발하기 전에.
πMilner의 2009 교과서 The Space and Motion of Communicating Agents 의 프롤로그 는 미래를 돌아 보지 않고 역사적 배경을 많이 제공하지 않습니다. Milner는 Mobile Ambients와 Pi 미적분학에서 그 뿌리를 분명히 인정했습니다. 그러나이 모델은 너무 일반적이기 때문에 구형 모델과 강력하게 연결되어 있어야합니다.
약력의 역사적 전신이 있습니까?
진화하는 시스템을 포착하는 데 사용되는 방식보다는 구문 요소에 중점을 둔 명백한 전례는 AB Kempe, 수학적 형태 이론에 대한 회고록 , 런던 왕립 학회의 철학적 거래 177, 1–70, 1886입니다. 종이에 정점 및 가장자리 색 그래프가 도입되었을 수 있습니다 (이전 사용법은 무시하지만 포인터는 환영합니다). Kempe는 Milner가 예상 한 것과 동일한 종류의 일반적인 응용 프로그램을 염두에 둔 것으로 보입니다. 언급해야 할 다른 선행 작업이 있습니까?
(편집 : 이제 추가 답변을 얻기 위해 커뮤니티 위키를 표시합니다.)
답변
약력의 이론적 토대는 대부분 리 액티브 시스템 (Reactive Systems) 측면에서 이루어졌다.
Leifer, JJ 및 Milner, R. (2000). 반응 시스템에 대한 2 시뮬레이션 합동 도출 . C. Palamidessi, 편집자, 11 차 국제 동시성 이론 회의 (CONCUR’00), 컴퓨터 과학 강의 노트 1877 페이지, 243-258 쪽. Springer-Verlag. ( 링크 )
이것은 충분한 RPO의 존재 하에서이 분산이 합동임을 보여준 결과였다.
올바르게 언급했듯이, 특히 “장소”라는 개념을 포착 할 때 다양한 주변 계산 과 관련이 있습니다 .
화학 추상 기계 (참)도 중요하게 인용되었다 – 아마 bigraphs 세계에서 볼 때 익숙 반응의 의미뿐만 아니라 (예 : 막 등) 몇 가지 다른 개념의 관점에서. 이것은 아마도 여러 가지 방법으로 전기 반응 시스템의 이념적 조상이라는 가장 명확한 신호를 보여줍니다.
마지막으로 CCS부터 pi-calculus, 반응 형 시스템, 전기까지 Milner의 작업 스레드를 살펴볼 가치가 있다고 생각합니다. 추가 추상화를 도입하거나 이전 모델링 형식에 암시 적으로 만 포함 된 특정 정보를 명시 적으로 인코딩하는 기능에서 해당 작업 범위 내에서 명확한 추세를 볼 수 있습니다.
이것은 결코 완전한 것은 아니지만, 필자의 발전이 많은 다른 아이디어로부터 자연스럽게 진행되는 것으로 보는 것이 공평하다고 생각합니다.