위치 지정 프로세스 모델의 추상기계

본 논문은 프로세스 모델 LocPi와 LocPi를 위한 지역적으로 결정성을 갖는 추상기계를 서술한다. LocPi는 위치와 프로세스 이동성을 부가한 비동기 파이계산의 변형이다. 본 모델은 특정 위치로의 프로세스 이동과 생성을 위한 구문은 포함하지만 프로세스가 실행되고 있는 현재 위치를 명시적으로 나타내지는 않는다. 프로세스는 위치가 부착된 명칭을 가질 수 있으며 모든 통신 리덕션은 위치 지정 명칭을 통해서만 발생할 수 있다. 본 모델에서는 위치 미정 명칭에 위치를 주는 방법을 통해 입력 행위 발생 위치와 출력 메시지 전달 위치가 프로세스에 직접 표시되므로 전역 환경의 필요성을 제거할 수 있다.