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