TONG Bingshu. Advanced technology of CAD[M].Beijing: Tsinghua University Press,2000(in Chinese) .[童秉枢.现代CAD技术[M].北京：清华大学出版社，2000.]
[2]
MILNER R, PARROW J, WALKER D. A Calculus of mobile processesⅡ[J]. Information and Computation, 1992, 100:41-77.
[3]
CHEN Weijie,DU Liyuan,FU Yuxi. Description on CORBA request invocation by agent algebra[J].Journal of Shanghai Jiaotong University,1998,32(10):58-61(in Chinese).[陈伟杰，杜理渊，傅育熙.用进程代数描述CORBA请求调用[J].上海交通大学学报，1998，32(10):58-61.]
[4]
SEWELL P.Applied π--A brief tutorial[R].Cambridge: Computer Laboratory, University of Cambridge, 2000.
[5]
DU Liyuan, CHEN Weijie,FU Yuxi. First step towards a Semantics of CORBA/IIOP[J]. Journal of Shanghai Jiaotong University, 1998, 32(10): 62-65 (in Chinese).[杜理渊，陈伟杰，傅育熙.CORBA/IIOP 的语义初探[J].上海交通大学学报，1998，32(10)：62-65.]
[6]
PARROW J. An introduction to the π-calculus[A]. Handbook of Process Algebra[C]. Amsterdam: Elsevier, 2001. 479-543.
[7]
CASTELLANI I. Process algebras with localities[A]. Handbook of Process Algebra[C]. Amsterdam: Elsevier, 2001. 945-1045.
[8]
Borland/Inprise Company, LI Wenjun,ZHOU Xiaocong, et al. VisiBroker for Java programmers guide[M].Beijing: China Mechanical Industry Press, 2000(in Chinese).[Borland/Inprise公司，李文军，周小聪，等.VisiBroker For Java开发人员指南[M].北京：机械工业出版社，2000.]
