Lumpe M,Achermamm F,Nierstrasz O.A formal language for composition[A].Leavens GT,Sitaraman M.Foundations of Component-based Systems[C].Cambridge:Cambridge University Press.2000.69-90.
[3]
Lumpe M.A-calculus based approach for software composition[D].Bern:Universit？t Bern,Institut für Informatic und angewandte Mathematic,1999.
[4]
Sangiorgi D,Walker D.The-Calculus.A theofy of Mobile Processes[M].Cambridge:Cambridge University Press,2001.
Szyperski C.Component technology what,where,and how[A].Proc of the 25th International Conference on Software Engineering[C].Washington:IEEE Computer Society Press,2003.684-693.
[7]
Vigder M,Dean J.Building maintainable COTS-based systems[A].Proc of the International Conference on Software Maintenance[C].Washington:IEEE Computer Society Press,1998.132-138.
[8]
Pahl C.A Pi-calculus based framework for the composition and replacement of components[A].Giannakopoulou D,Leavens GT,Sitaraman M.Proc.of OOPSLA Workshop on specification and verification of component-based systems[C].Iowa:Iowa State University,2001.97-106.
[9]
Milner R.Communicaing and Mobile Systems:the-Calculus[M].Cambridge:Cambridge University Press,1999.
