Yunjiao Xue, Leqiu Qian, Xin Peng, Yijian Wu, Ruzhi Xu. Using Abstract State Machine in Architecture Design of Distributed Software Component Repository. In Heng Tao Shen, Jinbao Li, Minglu Li, Jun Ni, Wei Wang, editors, Advanced Web and Network Technologies, and Applications, APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006, Proceedings. Volume 3842 of Lecture Notes in Computer Science, pages 861-868, Springer, 2006. [doi]
Abstract is missing.