A formal framework for component deployment

Yu David Liu, Scott F. Smith. A formal framework for component deployment. In Peri L. Tarr, William R. Cook, editors, Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. pages 325-344, ACM, 2006. [doi]

Abstract

Abstract is missing.