한국정보과학회논문지:소프트웨어및응용 (Journal of KIISE:Software and Applications)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

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

An Abstract Machine for a Located Process Model

  • 발행 : 1999.02.01

⟨ 이전 논문 다음 논문 ⟩

초록

This paper presents a locally deterministic abstract machine for a new process model LocPi which is based on a subset of asynchronous polyadic π-calculus and enriched with locations and process mobility. Our calculus has a primitive for migrating and spawning a process to a location(remote site), but does not explicitly represent the place which a process are running at. Running processes may have names attached with their locations and the communication reductions can occur only on located names. So we present how to assign locations to unlocated names. Without a global channel environment, these located names enable us to locate the place which input actions occur at and output messages should be sent to.

키워드

참고문헌

  1. Information and Computation v.100 no.1 A calculus of mobile processes, Part Ⅰ and Ⅱ Robin, Milner;Joachim Parrow;David Walker
  2. Asynchrony and the π-calculus (note) Gerard Boudol
  3. In Proceedings of CONCUR96. LNCS 1119 A Calculus of Mobile Agents Cedric Fournet;Georges Gonthier;Jean-Jacques Levy;Luc Maranget;Didier Remy
  4. Pict: A programming language based on the pi-calculus Benjamin Pierce;David N. Turner
  5. In Proceedings of the 24th POPL Behavioral equivalence in the polymorphic pi-calculus Bejamin Pierce;Davide Sangiorgi
  6. The Polymorphic Pi-calculus: Theory and Implementation David N. Turner
  7. Mathematical Structures in Computer Science v.6 no.5 Typing and subtyping for mobile processes Bejamin Pierce;Davide Sangiorgi
  8. In Proceedings of the 23rd POPL Linearity and the pi-calculus Naoki Kobayashi;Benjamin C. Pierce;David N. Turner
  9. An interpretation of typed objects into typed π-calculus Davide Sangiorgi
  10. In Proceedings of CONCUR93 Principal typing schemes in a polyadic π-calculus Vasco T. Vasconcelos;Kohei Honda
  11. An asynchronous model of locality, failure, and process mobility Robert M. Amadio
  12. Global/local subtyping for a distributed π-calculus Peter Sewell
  13. In Proceedings of FMOODS'97 A calculus with code mobility Tatsurou Sekiguchi;Akinori Yonezawa
  14. Mobile ambients Luca Cardelli;Andrew D. Gordon
  15. 한국정보과학회 프로그래밍언어연구회지 v.11 no.1 위치가 정해진 명칭을 갖는 분산 이동 프로세스 신승철
  16. An abstract machine for an object calculus Luis Lopes;Vasco T. Vasconcelos